Logo Logo
Eine Ebene nach oben
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Anzahl der Publikationen: 3

Zeitschriftenartikel

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

Diese Liste wurde am Sun Mar 24 00:30:02 2024 CET erstellt.