A Dual-Engine for Early Analysis of Critical Systems
El Ghazi, Aboubakr Achraf; Geilmann, Ulrich; Ulbrich, Mattias
; Taghdiri, Mana
; Taghdiri, Mana
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2011 |
| Sprache | Englisch |
| Identifikator | urn:nbn:de:swb:90-422258 KITopen-ID: 1000042225 |
| Erschienen in | Workshop on Dependable Software for Critical Infrastructures (DSCI), 4.-7. Okt. 2011, Berlin |
| Seiten | 1-15 |