Wyniki wyszukiwania dla: André Platzer
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 6 > 615-643
IEEE Control Systems > 2017 > 37 > 2 > 82 - 103
Computer Languages, Systems & Structures > 2017 > 47 > P1 > 19-43
Logical Analysis of Hybrid Systems > Case Studies and Applications in Hybrid Systems Verification > 335-338
International Journal on Software Tools for Technology Transfer > 2017 > 19 > 6 > 717-741
Journal of Automated Reasoning > 2017 > 59 > 2 > 219-265
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Short Papers > 646-649
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Cyber Physical Systems > 356-371
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 473-486
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Model Checking and Probability > 131-146
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 216-232