Slide 1Dependable Embedded Software Systems Kim Guldstrand Larsen UCb Slide 2 2 BRICS Machine Basic Research in Computer Science, 1993- 2006 30+40+40 Millkr 100 Aalborg Aarhus…
