KIT | KIT-Bibliothek | Impressum

Executable design specifications through the use of knowledge-based technologies

Becker, R.; Pirlein, Thomas



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Buchaufsatz
Jahr 1994
Sprache Englisch
Identifikator KITopen ID: 293194
Erscheinungsvermerk In: Proceedings of the 7th Florida Artificial Intelligence Research Symposium, Pensacola, Fla. 1994. S. 51-56.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page