Aktivitäten pro Jahr
Aktivitäten
- 5 Ergebnisse
Suchergebnisse
-
A Graphical Guide to Lightweight Block-Level Formal Verification
Kissich, M. (Redner/in) & Baunach, M. C. (Beitragende/r)
15 Sept. 2023 → 17 Sept. 2023Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
A Holistic Hardware/Software Update Mechanism for Embedded Systems
Scheipel, T. P. (Redner/in), Batista Ribeiro, L. (Redner/in) & Baunach, M. C. (Redner/in)
11 März 2021Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Compositional Embedded Software Design
Baunach, M. C. (Redner/in)
9 Sept. 2017Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
Workshop Complex Structures 2016
Baunach, M. C. (Keynote speaker)
20 März 2016 → 23 März 2016Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
AVL TechTrend
Baunach, M. C. (Redner/in)
29 Jan. 2015Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science