Search results for: Benedetto Intrigila
Indagationes Mathematicae > 2018 > 29 > 1 > 450-458
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 > Fundamental Approaches to Software Engineering > Model Integrations and Extensions > 356-371
Lecture Notes in Computer Science > AI*IA 2007: Artificial Intelligence and Human-Oriented Computing > Machine Learning > 230-241
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 > On the Move to Meaningful Internet Systems: OTM 2008 > Evaluation and Implementation > 1131-1139
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Model Checking > 54-68
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Contributions > 141-155
Lecture Notes in Electrical Engineering > Informatics in Control, Automation and Robotics > Part I: Intelligent Control Systems and Optimization > 75-87
Theoretical Computer Science > 2015 > 572 > Complete > 1-24
Theoretical Computer Science > 2015 > 562 > Complete > 304-319
Theoretical Computer Science > 2015 > 562 > Complete > 476-495
European Journal of Control > 2013 > 19 > 1 > 14-36
Theoretical Computer Science > 2012 > 416 > Complete > 1-16