Hochschulschrift

Zum modellbasierten funktionalen Test reaktiver Systeme

Location
Deutsche Nationalbibliothek Frankfurt am Main
Dimensions
30 cm
Extent
VIII, 234 S.
Language
Deutsch
Notes
graph. Darst.
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

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.03.2025, 11:59 AM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

  • Hochschulschrift

Associated

Other Objects (12)