Formalization and Petri net-Based Extension to Model Factors of State-Varying Failures for Reliability Modeling
Lazarova-Molnar, Sanja
1
1 Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB), Karlsruher Institut für Technologie (KIT)
11 Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsmonat/-jahr | 07.2013 |
| Sprache | Englisch |
| Identifikator | ISSN: 1738-7906 KITopen-ID: 1000171317 |
| Erschienen in | International journal of computer science and network security |
| Band | 13 |
| Heft | 7 |
| Seiten | 14-21 |