bib.howest.be Zoekresultaten

U zocht naar: Auteur Ait Ameur

1 - 8 van 8

1. Formal Methods and Software Engineering

Auteur:: Ait-Ameur; Qin, Shengchao
Uitgever:: Springer International Publishing 2019
Type:: e-book

2. Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Auteur:: Ait-Ameur; Méry, Dominique; Nakajima, Shin
Uitgever:: Springer Singapore 2021
Type:: e-book

3. Model and Data Engineering

Auteur:: Ait Ameur; Bellatreche, Ladjel; Papadopoulos, George A.
Uitgever:: Springer International Publishing 2014
Type:: e-book

4. Abstract State Machines, Alloy, B, TLA, VDM, and Z

Auteur:: Yamine Ait Ameur, Klaus-Dieter Schewe; Schewe, Klaus-Dieter
Uitgever:: Springer Berlin Heidelberg 2014
Type:: e-book

5. ABZ 2014: The Landing Gear Case Study

Auteur:: FrÃ©dÃ©ric Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe; Ait Ameur, Yamine; Schewe, Klaus-Dieter; Wiels, Virginie
Uitgever:: Springer International Publishing 2014
Type:: e-book

6. Engineering of Complex Computer Systems : 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings

Auteur:: Bai, Guangdong.; Ait-Ameur, Yamine; Ishikawa, Fuyuki; Papadopoulos, George A.
Uitgever:: Cham Springer 2024
Type:: e-book

7. Theoretical Aspects of Software Engineering : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings

Auteur:: Aït-Ameur, Yamine.; Crăciun, Florin
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book

8. Model and Data Engineering

Auteur:: Bellatreche, Ladjel.; Almendros Jiménez, Jesús M.; Aït-Ameur, Yamine; Pastor, Óscar
Uitgever:: Springer International Publishing 2016
Type:: e-book