Zum modellbasierten funktionalen Test reaktiver Systeme - Pretschner, Alexander 1975- (2003)
München, Techn. Univ., Diss., 2003
Keywords: Constraint-Programmierung; Constraint-logische Programmierung; Reaktives System; Chipkarte; Model Checking; Testen; Eingebettetes System; Hochschulschrift