Search results for: Enrico Tronci
Fundamenta Informaticae > 2020 > Vol. 174, nr 3/4 > 229--258
Fundamenta Informaticae > 2020 > Vol. 174, nr 3/4 > 283--310
IEEE Transactions on Automatic Control > 2017 > 62 > 10 > 5357 - 5364
Journal of Psychosomatic Research > 2017 > 99 > C > 21-27
Information Processing Letters > 2017 > 122 > C > 8-16
IEEE Transactions on Smart Grid > 2017 > 8 > 3 > 1284 - 1294
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Model Checking: Reachability Analysis > 202-219
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Tools > 259-274
Lecture Notes in Computer Science > FME'96: Industrial Benefit and Advances in Formal Methods > 425-444
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Short Papers 2 > 277-282
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Model Checking and Application > 394-409
Lecture Notes in Computer Science > Theoretical Computer Science > Program Design, Models and Analysis > 58-71
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 399-412
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Application of Formal Methods > 273-283
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Model Checking > 54-68