Formal Methods in Macro-Biology
First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings| By: | null |
| Publisher: | Springer Nature |
| Print ISBN: | 9783319103976 |
| eText ISBN: | 9783319103983 |
| Edition: | 0 |
| Copyright: | 2014 |
| Format: | Page Fidelity |
eBook Features
Instant Access
Purchase and read your book immediately
Read Offline
Access your eTextbook anytime and anywhere
Study Tools
Built-in study tools like highlights and more
Read Aloud
Listen and follow along as Bookshelf reads to you
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.