Search results for: Peter Csaba Ölveczky
Formal Aspects of Computing > 2019 > 31 > 5 > 503-540
Innovations in Systems and Software Engineering > 2019 > 15 > 3-4 > 169-190
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > CALCO Tools Workshop > 443-448
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Components and Architecture > 47-62
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Model Checking and Analysis > 354-358
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 1: Probabilistic Models > 60-79
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Rewriting Logic > 122-140
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tools – I > 332-336
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Case Studies > 333-347
Lecture Notes in Computer Science > Formal Modeling: Actors, Open Systems, Biological Systems > Formal Methods and Reasoning Tools > 368-402
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Real-Time Systems > 717-736
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Theorem Proving and Rewriting > 651-667
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Verification II > 303-320