KIT | KIT-Bibliothek | Impressum | Datenschutz

Towards design and verification of evolving cyber physical systems using contract-based methodology

Guissouma, H.; Leiner, S.; Sax, E.



Originalveröffentlichung
DOI: 10.1109/ISSE46696.2019.8984478
Zugehörige Institution(en) am KIT Institut für Technik der Informationsverarbeitung (ITIV)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2020
Sprache Englisch
Identifikator ISBN: 978-1-72811-783-6
KITopen-ID: 1000117868
Erschienen in 5th IEEE International Symposium on Systems Engineering, Proceedings October 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)
Seiten Article No.8984478
Vorab online veröffentlicht am 06.02.2020
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page