Fluid Survival Tool: A Model Checker for Hybrid Petri Nets.

Autor: Postema, Björn F., Remke, Anne, Haverkort, Boudewijn R., Ghasemieh, Hamed
Zdroj: Measurement, Modelling & Evaluation of Computing Systems & Dependability & Fault Tolerance: 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014. Proceedings; 2014, p255-259, 5p
Databáze: Complementary Index