Wyniki wyszukiwania dla: P. Ravn
Concurrency and Computation: Practice and Experience > 29 > 22 > n/a - n/a
Concurrency and Computation: Practice and Experience > 29 > 22 > n/a - n/a
Archives of Gynecology and Obstetrics > 2018 > 297 > 1 > 13-25
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Model Transformation and Analysis for Industrial Scale Validation > 579-593
Lecture Notes in Computer Science > Correct System Design > Real-Time Constraints Through the ProCoS Layers > 61-78
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 21-32
Lecture Notes in Computer Science > Hybrid Systems III > 511-530
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Cyber Physical Systems > 404-419
Lecture Notes in Computer Science > Hybrid Systems > 452-474
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 288-335
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Verification (II) > 357-371
Lecture Notes in Computer Science > Hybrid Systems II > 391-404
Lecture Notes in Computer Science > Methods, Models and Tools for Fault Tolerance > Formal Reasoning about Fault Tolerant Systems and Protocols > 57-84