KIT | KIT-Bibliothek | Impressum | Datenschutz

Validierung von Informationssystemen durch Auswertung halbgeordneter Petrinetz- Simulationsabläufe

Desel, J.; Oberweis, Andreas


Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 1994
Sprache Deutsch
Identifikator KITopen-ID: 293294
Erschienen in Proceedings des Workshops "Formale Grundlagen für den Entwurf von Informationssystemen". Hrsg.: U. Lipeck
Verlag Univ.
Seiten 132 - 138
Serie Informatik-Berichte ; 1994,3
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page