Yamine Aït-Ameur

Libros
Engineering of Complex Computer Systems Engineering of Complex Computer Systems
Engineering of Complex Computer Systems
2024
Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering
Theoretical Aspects of Software Engineering
2022
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
2020
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2019
Model and Data Engineering Model and Data Engineering
Model and Data Engineering
2016