Towards Design and Verification of Evolving Cyber Physical Systems Using Contract-Based Methodology
| 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 | Institute of Electrical and Electronics Engineers (IEEE) |
| Nachgewiesen in | Dimensions Scopus |