KIT | KIT-Bibliothek | Impressum | Datenschutz

Stepwise refinement of control software. A case study using RAISE

Erasmy, Francois; Sekerinski, Emil


Zugehörige Institution(en) am KIT Universität Karlsruhe (TH) – Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität)
Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Buchaufsatz
Publikationsjahr 1994
Sprache Englisch
Identifikator KITopen-ID: 190794
Erscheinungsvermerk In: Industrial benefit of formal methods. Ed.: M. Naftalin. Berlin 1994. S. 547-566. (Lecture notes in computer science. 873.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page