KIT | KIT-Bibliothek | Impressum | Datenschutz

Validation of information system models: Petri nets and test case generation

Desel, Jörg; Oberweis, Andreas; Zimmer, Torsten; Zimmermann, Gabriele


Volltext §
DOI: 10.5445/IR/120597
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 1997
Sprache Englisch
Identifikator ISBN: 0-7803-4053-1
urn:nbn:de:swb:90-AAA1205977
KITopen-ID: 120597
Erschienen in Proceedings of the 1997 IEEE International Conference on Systems, Man and Cybernetics, SMC '97, Orlando, Florida, USA, October 12 -15, 1997; Vol. 4
Verlag Institute of Electrical and Electronics Engineers (IEEE)
Seiten 3401 - 3406
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page