Developing concepts and methods for module and integration tests for models of reactive systems

Bibliographische Detailangaben

1. Verfasser:	Kyeyune, Yusufu (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	2000
Schlagworte:	Systementwurf Formale Semantik Statechart Model Checking Echtzeitsystem Hochschulschrift
Online-Zugang:	http://eldorado.uni-dortmund.de:8080/0x81d98002_0x000157a6 http://d-nb.info/96051838X/34
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!