Peter Csaba Ölveczky

도서
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년