Zoeken

U zocht naar: Auteur Ait-Ameur, Yamine Filter Auteur: Ait-Ameur, Yamine weghalen
1 - 5 van 5
Aantal zoekresultaten per pagina

Zoekresultaten

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