KIT | KIT-Bibliothek | Impressum | Datenschutz

Towards Design and Verification of Evolving Cyber Physical Systems Using Contract-Based Methodology [in press]

Guissouma, Houssem; Leiner, Simon; Sax, Eric



Zugehörige Institution(en) am KIT Institut für Regelungs- und Steuerungssysteme (IRS)
Institut für Technik der Informationsverarbeitung (ITIV)
Publikationstyp Proceedingsbeitrag
Jahr 2019
Sprache Englisch
Identifikator KITopen-ID: 1000099245
Erschienen in ISSE 2019 - 5th IEEE International Symposium on Systems Engineering, Edinburgh, Scotland, UK, October 1 - 3, 2019
Veranstaltung 5th IEEE International Symposium on Systems Engineering (ISSE 2019), Edinburgh, Vereinigtes Königreich, 01.10.2019 – 03.10.2019
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page