Search

You searched for: Auteur Ait Ameur, Yamine Remove constraint Auteur: Ait Ameur, Yamine
1 - 5 of 5
Number of results to display per page

Search Results

1. Engineering of Complex Computer Systems : 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings
thumbnail
Full text!
Author:
Bai, Guangdong.; Ait-Ameur, Yamine; Ishikawa, Fuyuki; Papadopoulos, George A.
Publisher:
Cham Springer 2024
Format:
e-book
2. ABZ 2014: The Landing Gear Case Study
thumbnail
Full text!
Author:
Frédéric Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe; Ait Ameur, Yamine; Schewe, Klaus-Dieter; Wiels, Virginie
Publisher:
Springer International Publishing 2014
Format:
e-book
3. Abstract State Machines, Alloy, B, TLA, VDM, and Z
thumbnail
Full text!
Author:
Yamine Ait Ameur, Klaus-Dieter Schewe; Schewe, Klaus-Dieter
Publisher:
Springer Berlin Heidelberg 2014
Format:
e-book
4. Theoretical Aspects of Software Engineering : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings
thumbnail
Full text!
Author:
Aït-Ameur, Yamine.; Crăciun, Florin
Publisher:
Cham Springer International Publishing AG 2022
Format:
e-book
5. Model and Data Engineering
thumbnail
Full text!
Author:
Bellatreche, Ladjel.; Almendros Jiménez, Jesús M.; Aït-Ameur, Yamine; Pastor, Óscar
Publisher:
Springer International Publishing 2016
Format:
e-book