|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel | Buchbeitrag
Anzahl der Publikationen: 4
Zeitschriftenartikel
Wirsing, Martin; Jähnichen, Stefan und De Nicola, Rocco
(2023):
Rigorous engineering of collective adaptive systems – 2nd special section.
In: International Journal on Software Tools for Technology Transfer, Bd. 25, Nr. 5-6: S. 617-624
[PDF, 509kB]
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]
Buchbeitrag
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