Erika Ábrahám
Erika Ábrahám
4 ספרים במאגר
ספרים
Integrated Formal MethodsErika Ábrahám
Integrated Formal Methods
Erika Ábrahám · 2016
Formal Techniques for Distributed Objects, Components, and SystemsErika Ábrahám
Formal Techniques for Distributed Objects, Components, and Systems
Erika Ábrahám · 2014
Theoretical Aspects of Computing - ICTAC 2023Erika Ábrahám
Theoretical Aspects of Computing - ICTAC 2023
Erika Ábrahám · 2023
Quantitative Evaluation of SystemsErika Ábrahám
Quantitative Evaluation of Systems
Erika Ábrahám · 2022