Syndetics cover image
Image from Syndetics

Formal Methods in Macro-Biology [electronic resource] : First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings / edited by François Fages, Carla Piazza.

Contributor(s): Material type: TextSeries: Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Edition: 1st ed. 2014Description: XXVI, 183 p. 46 illus. online resourceContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783319103983
Subject(s): DDC classification:
  • 570.285 23
  • 570.113 23
Online resources: Summary: This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Macro-Biology, FMMB 2014, held in Nouméa, New Caledonia, in September 2014. The 7 revised full and 3 short papers presented together with 7 invited presentations were carefully reviewed and selected from 17 submissions. The scientific program consists of papers on a wide variety of topics, including ecological systems, medical applications, logical frameworks, and discrete continuous and hybrid models for the analysis of biological systems at macroscopic levels.
No physical items for this record

This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Macro-Biology, FMMB 2014, held in Nouméa, New Caledonia, in September 2014. The 7 revised full and 3 short papers presented together with 7 invited presentations were carefully reviewed and selected from 17 submissions. The scientific program consists of papers on a wide variety of topics, including ecological systems, medical applications, logical frameworks, and discrete continuous and hybrid models for the analysis of biological systems at macroscopic levels.

Licensed e-book