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 time-triggered [Clear All Filters]
, "Sampling-based Runtime Verification", Proceedings of the 17th International Conference on Formal Methods (FM), Limerick, Ireland, pp. 88-102, June, 2011.
[paper] (1.45 MB)
[paper] (1.45 MB)