KIT | KIT-Bibliothek | Impressum

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
Jahr 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., Inst. für Informatik Hannover
Seiten 132 - 138
Serie Informatik-Berichte ; 1994,3
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page