Home > Research > Browse

Research

Results for General model

Publications & Outputs

  1. Estimating seasonal aboveground biomass of a riparian pioneer plant community: An exploratory analysis by canopy structural data

    Wen, Z., Ma, M., Zhang, C., Yi, X., Chen, J. & Wu, S., 12/2017, In: Ecological Indicators. 83, p. 441-450 10 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  2. Aiding modular design and verification of safety-critical time-triggered systems by use of executable formal specifications

    Sakurai, K., Bokor, P. & Suri, N., 3/12/2008, 2008 11th IEEE High Assurance Systems Engineering Symposium. IEEE, p. 261-270 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review