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