Peter Csaba Ölveczky Libros

Theoretical Aspects of Computing – ICTAC 2021 Theoretical Aspects of Computing – ICTAC 2021
Theoretical Aspects of Computing – ICTAC 2021
2021
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2019
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
2019
Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
2018
Designing Reliable Distributed Systems Designing Reliable Distributed Systems
Designing Reliable Distributed Systems
2018
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
2017
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
2016
Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
2016
Logic, Rewriting, and Concurrency Logic, Rewriting, and Concurrency
Logic, Rewriting, and Concurrency
2015
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
2015
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
2014