Executable and symbolic conformance tests for implementation models
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 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.) |