Activities per year
Activities
- 5 results
Search results
-
AVL TechTrend
Marcel Carsten Baunach (Speaker)
29 Jan 2015Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Workshop Complex Structures 2016
Marcel Carsten Baunach (Keynote speaker)
20 Mar 2016 → 23 Mar 2016Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Compositional Embedded Software Design
Marcel Carsten Baunach (Speaker)
9 Sept 2017Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
A Holistic Hardware/Software Update Mechanism for Embedded Systems
Tobias Peter Scheipel (Speaker), Leandro Batista Ribeiro (Speaker) & Marcel Carsten Baunach (Speaker)
11 Mar 2021Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
A Graphical Guide to Lightweight Block-Level Formal Verification
Meinhard Kissich (Speaker) & Marcel Carsten Baunach (Contributor)
15 Sept 2023 → 17 Sept 2023Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science