Media type: E-Book; Thesis Title: Zum modellbasierten funktionalen Test reaktiver Systeme Contributor: Pretschner, Alexander [Verfasser] Extent: Online-Ressource Language: German Identifier: Keywords: Chipkarte > Reaktives System > Modellbasiertes Testen > Constraint-logische Programmierung > Online-Publikation Origination: University thesis: München, Techn. Univ., Diss., 2003 Footnote: Access State: Open Access