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 |
Externí odkaz: |