Peter Csaba Ölveczky

الكتب
Theoretical Aspects of Computing – ICTAC 2021 Theoretical Aspects of Computing – ICTAC 2021
Theoretical Aspects of Computing – ICTAC 2021
٢٠٢١
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
٢٠١٩
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
٢٠١٩
Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
٢٠١٨
Designing Reliable Distributed Systems Designing Reliable Distributed Systems
Designing Reliable Distributed Systems
٢٠١٨
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
٢٠١٧