|
Eine Ebene nach oben |
Gruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 3
2020
De Nicola, Rocco; Jähnichen, Stefan und Wirsing, Martin
(2020):
Rigorous engineering of collective adaptive systems: special section.
In: International Journal on Software Tools for Technology Transfer, Bd. 22, Nr. 4: S. 389-397
[PDF, 248kB]
2016
Jähnichen, Stefan und Wirsing, Martin
(2016):
Rigorous Engineering of Collective Adaptive Systems Track Introduction.
In:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Lecture Notes in Computer Science, Bd. 9952. Cham: Springer. S. 535-538
Jähnichen, Stefan und Wirsing, Martin
(2016):
Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel - Panel Introduction.
In:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Lecture Notes in Computer Science, Bd. 9952. Cham: Springer. S. 639-641