KIT | KIT-Bibliothek | Impressum | Datenschutz

Executable and symbolic conformance tests for implementation models

Baar, Thomas



Seitenaufrufe: 2
seit 03.09.2018
Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 2002
Sprache Englisch
Identifikator KITopen-ID: 32202002
Erscheinungsvermerk In: Advances in object oriented information systems. OOIS 2002 Workshops. Ed.: J.-M. Bruel. Berlin 2002. S. 231-234. (Lecture notes in computer science. 2426.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page