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 |