书目名称 | Hybrid Systems Biology |
副标题 | 5th International Wo |
编辑 | Eugenio Cinquemani,Alexandre Donzé |
视频video | |
概述 | Includes supplementary material: |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | .This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems Biology, HSB 2016, held in Grenoble, France, in October 2016..The 11 full papers presented in this book were carefully reviewed and selected from 26 submissions. They were organized and presented in 4 thematic sessions also reflected in this book: model simulation; model analysis; discrete and network modelling; stochastic modelling for biological systems.. |
出版日期 | Conference proceedings 2016 |
关键词 | biochemical networks; dynamical systems; hybrid systems; model checking; simulation; abstraction; automata |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-319-47151-8 |
isbn_softcover | 978-3-319-47150-1 |
isbn_ebook | 978-3-319-47151-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer International Publishing AG 2016 |