KIT | KIT-Bibliothek | Impressum | Datenschutz

Towards Design and Verification of Evolving Cyber Physical Systems Using Contract-Based Methodology

Guissouma, Houssem; Leiner, Simon; Sax, Eric



Originalveröffentlichung
DOI: 10.1109/ISSE46696.2019.8984478
Zugehörige Institution(en) am KIT Institut für Regelungs- und Steuerungssysteme (IRS)
Institut für Technik der Informationsverarbeitung (ITIV)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2020
Sprache Englisch
Identifikator ISBN: 978-1-72811-783-6
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
Verlag IEEE, Piscataway (NJ)
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page