Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.
Export 1 results:
Filters: Keyword is safety [Clear All Filters]
, "Design Choices for High-Confidence Distributed Real-time Software", Proc. of the International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Heraclion, Crete, Greece, pp. 327-342, October, 2010.
[paper] (374.08 KB)
[paper] (374.08 KB)