Search

You searched for: Auteur Ábrahám, Erika Remove constraint Auteur: Ábrahám, Erika
1 - 7 of 7
Number of results to display per page

Search Results

1. Fundamentals of Software Engineering : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
thumbnail
Full text!
Author:
Hojjat, Hossein.; Ábrahám, Erika
Publisher:
Cham Springer 2023
Format:
e-book
2. Quantitative Evaluation of Systems : 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings
thumbnail
Full text!
Author:
Ábrahám, Erika.; Paolieri, Marco
Publisher:
Cham Springer International Publishing AG 2022
Format:
e-book
3. Runtime Verification : 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
thumbnail
Full text!
Author:
Ábrahám, Erika.; Abbas, Houssam
Publisher:
Cham Springer 2024
Format:
e-book
4. Theoretical Aspects of Computing - ICTAC 2023 : 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
thumbnail
Full text!
Author:
Ábrahám, Erika.; Dubslaff, Clemens; Tarifa, Silvia Lizeth Tapia
Publisher:
Cham Springer 2023
Format:
e-book
5. Formal Techniques for Distributed Objects, Components, and Systems
thumbnail
Full text!
Author:
Erika Ábrahám, Catuscia Palamidessi; Palamidessi, Catuscia; Ábrahám, Erika
Publisher:
Springer Berlin Heidelberg 2014
Format:
e-book
6. Integrated Formal Methods
thumbnail
Full text!
Author:
Erika Ábrahám, Marieke Huisman; Huisman, Marieke
Publisher:
Springer International Publishing 2016
Format:
e-book
7. Theory and Practice of Formal Methods
thumbnail
Full text!
Author:
Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen; Bonsangue, Marcello; Johnsen, Einar Broch
Publisher:
Springer International Publishing 2016
Format:
e-book