Wyniki wyszukiwania dla: Vlad Rusu
Journal of Logical and Algebraic Methods in Programming > 2017 > 93 > C > 68-91
Journal of Symbolic Computation > 2017 > 80 > P1 > 125-163
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