Anzahl der Publikationen: 11
Zeitschriftenartikel
Paper
Backofen, Rolf; Böck, August; Bry, François; Buckenmaier, Andreas; Clote, Peter; Gabriel, Wilfried; Grosschedl, Rudolf; Hegering, Heinz-Gerd; Hermann, Reinhold G.; Kriegel, Hans-Peter; Kahmann, Regine; Kröger, Fred; Linnhoff-Popien, Claudia; Mewes, Hans-Werner; Weiss, Elisabeth H. und Wirsing, Martin
(1999):
Positionspapier zum Ausbau der Bioinformatik an der Ludwig-Maximilians-Universität München.
[PDF, 469kB]
Buchbeitrag
Belzner, Lenz; Hennicker, Rolf und Wirsing, Martin
(2016):
OnPlan: A Framework for Simulation-Based Online Planning.
In: Braga, Christiano und Ölveczky, Peter Csaba (Hrsg.):
Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Lecture Notes in Computer Science, Bd. 9539. Springer. S. 1-30
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
Konferenzbeitrag
Diese Liste wurde am
Sat Dec 21 20:12:01 2024 CET
erstellt.