Search results for: Vlad Rusu
Lecture Notes in Computer Science > Modelling Foundations and Applications > Model Execution > 35-51
Lecture Notes in Computer Science > Hybrid Systems II > 405-416
Lecture Notes in Computer Science > Integrated Formal Methods > Verification and Validation > 338-357
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Testing > 349-364
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Compositionality and Abstraction > 178-192
Lecture Notes in Computer Science > Static Analysis > 301-316
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tool Papers > 470-475
Lecture Notes in Computer Science > Smart Card Programming and Security > Contributed Papers > 58-70
Lecture Notes in Computer Science > FME 2003: Formal Methods > Communications System Verification > 223-243