Engineering of Complex Computer SystemsGuangdong Bai, Fuyuki Ishikawa, Yamine Ait-Ameur, George A. Papadopoulos · First published 2024Open the Tome
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete SystemsYamine Ait-Ameur, Shin Nakajima, Dominique Méry · First published 2020Open the Tome
Abstract State Machines, Alloy, B, TLA, VDM, and ZYamine Ait Ameur, Klaus-Dieter Schewe · First published 2014Open the Tome
ABZ 2014 : The Landing Gear Case StudyFrederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe · First published 2014Open the Tome
