Search

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

Search Results

1. Formal Methods and Software Engineering
thumbnail
Full text!
Author:
Ait-Ameur; Qin, Shengchao
Publisher:
Springer International Publishing 2019
Format:
e-book
2. Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
thumbnail
Full text!
Author:
Ait-Ameur; Méry, Dominique; Nakajima, Shin
Publisher:
Springer Singapore 2021
Format:
e-book
3. Model and Data Engineering
thumbnail
Full text!
Author:
Ait Ameur; Bellatreche, Ladjel; Papadopoulos, George A.
Publisher:
Springer International Publishing 2014
Format:
e-book
4. 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
5. 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
6. 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
7. 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
8. 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