Search results for: Mats Daniels
IEEE Software > 2017 > 34 > 1 > 9 - 12
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 53-71
Journal of the Association for Information Science and Technology > 66 > 12 > 2456 - 2470