Hochschulschrift | Online-Publikation
Zum modellbasierten funktionalen Test reaktiver Systeme
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Notes
-
München, Techn. Univ., Diss., 2003
- Classification
-
Informatik
Ingenieurwissenschaften und Maschinenbau
- Keyword
-
Chipkarte
Reaktives System
Modellbasiertes Testen
Constraint-logische Programmierung
Eingebettetes System / Reaktives System / Constraint-Programmierung / Model checking
- Creator
- URN
-
urn:nbn:de:bvb:91-diss2003080417234
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:44 PM CET
Data provider
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
- Online-Publikation