Search results for: Marco Caccamo
Real-Time Systems > 2019 > 55 > 4 > 850-888
Current Neurology and Neuroscience Reports > 2019 > 19 > 2 > 1-8
Journal of Pain and Symptom Management > 2017 > 54 > 4 > 583-588
Real-Time Systems > 2017 > 53 > 1 > 82-120
IEEE Transactions on Computers > 2016 > 65 > 9 > 2739 - 2751
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Validation and Verification > 357-372
Series in Computer Science