Validation of information system models: Petri nets and test case generation
Desel, Jörg; Oberweis, Andreas
; Zimmer, Torsten; Zimmermann, Gabriele
; Zimmer, Torsten; Zimmermann, Gabriele
| 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 |