Search results for: Paul Pettersson
Clinica Chimica Acta > 2018 > 478 > C > 182-187
Information and Software Technology > 2017 > 81 > C > 112-130
Science of Computer Programming > 2017 > 133 > P2 > 216-242
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 431-434
Lecture Notes in Computer Science > Hybrid Systems III > 575-586
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Real-Time and Scheduling > 224-239
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Formal Methods in Model-Driven Development for Service-Oriented and Cloud Computing > 82-96
Lecture Notes in Computer Science > TAPSOFT '97: Theory and Practice of Software Development > 565-579
Lecture Notes in Computer Science > Modeling and Verification of Parallel Processes > Tutorials and Papers > 99-124
Lecture Notes in Computer Science > Software Architecture > Quality Attributes and Software Architectures > 105-113
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Session 8: Formal Verification 2 > 243-256