HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems
Pilch, Carina; Niehage, Mathis; Remke, Anne
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: IEEE
Buchtitel: 2018 IEEE 26th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS)
Seitenbereich: 157-169
Verlag: Wiley-IEEE Press
Erscheinungsort: Milwaukee
Status: Veröffentlicht
Veröffentlichungsjahr: 2018
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: 2018 IEEE 26th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), Milwaukee, Vereinigte Staaten
Stichwörter: hybrid Petri nets; HPnGs; Statistical Model Checking; Discrete event simulation; non linear continuous evolution; quantized state systems; dependability; battery powered systems
Autor*innen der Universität Münster
| da Silva, Carina | Professur für Praktische Informatik (Prof. Remke) |
| Niehage, Mathis Friedrich | Professur für Praktische Informatik (Prof. Remke) |
| Remke, Anne | Professur für Praktische Informatik (Prof. Remke) |