Simulation-guided property checking based on multi-valued AR-automata

Ruf, Jürgen; Hoffmann, Dirk; Kropf, Thomas; Rosenstiel, Wolfgang

Seitenaufrufe: 25
seit 13.05.2018

Zugehörige Institution(en) am KIT	Universität Karlsruhe (TH) – Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität) FZI Forschungszentrum Informatik (FZI)
Publikationstyp	Buchaufsatz
Publikationsjahr	2001
Sprache	Englisch
Identifikator	KITopen-ID: 33402001
Erscheinungsvermerk	In: Proceedings. Design, Automation and Test in Europe Conference and Exhibition, DATE 2001, Munich, Germany 2001. Ed.: W. Nebel. Los Alamitos, Calif. 2001.