Publikationen pro Jahr
Publikationen pro Jahr
Projektdetails
| Status | Abgeschlossen |
|---|---|
| Tatsächliches Beginn-/Enddatum | 01.02.2014 → 31.01.2016 |
Wissenschaftszweige
- 102027 Web Engineering
- 102 Informatik
- 102015 Informationssysteme
JKU-Schwerpunkte
- Sustainable Development: Responsible Technologies and Management
- Digital Transformation
Publikationen
- 1 Konferenzbeitrag
-
A Component-Based Approach to Hybrid Systems Safety Verification
Müller, A., Mitsch, S., Retschitzegger, W., Schwinger, W. & Platzer, A., 2016, Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Ábrahám, E. & Huisman, M. (Hrsg.). Springer, Band 9681. S. 441-456 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9681).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Aktivitäten
- 1 Vortrag nach Bewerbung und Auswahl
-
A Component-Based Approach to Hybrid Systems Safety Verification
Müller, A. (Vortragende*r)
03 Juni 2016Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › unbekannt