Funder
FP7 People: Marie-Curie Actions
Seventh Framework Programme
Biotechnology and Biological Sciences Research Council
Industrial Biotechnology Catalyst
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Modeling and Simulation,Control and Systems Engineering
Reference32 articles.
1. Ajmone Marsan M, Balbo G, Conte G, Donatelli S, Franceschinis G (1995) Modelling with Generalized Stochastic Petri Nets. Wiley, New York
2. Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126 (2):183–235
3. Bertrand N, Bouyer P, Brihaye T, Menet Q, Baier C, Größer M, Jurdziński M (2014) Stochastic timed automata. Logical Methods in Computer Science 10(4).
https://doi.org/10.2168/LMCS-10(4:6)
4. Bortolussi L, Hillston J, Latella D, Massink M (2013) Continuous approximation of collective system behaviour A tutorial. Perform Eval 70(5):317–349
5. Borutzky W (2010) Bond Graph Methodology – Development and Analysis of Multidisciplinay Dynamic System Models. Springer, London. ISBN : 978-1-84882-881-0
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献