bib.howest.be Search Results

You searched for: Auteur Méry, Dominique

1 - 9 of 9

1. Theoretical Aspects of Computing – ICTAC 2014

Author:: Ciobanu; Méry, Dominique
Publisher:: Springer International Publishing 2014
Format:: e-book

2. Rigorous State-Based Methods : 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings

Author:: Raschke, Alexander; Méry, Dominique
Publisher:: Springer International Publishing 2021
Format:: e-book

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

Author:: Ait-Ameur; Méry, Dominique; Nakajima, Shin
Publisher:: Springer Singapore 2021
Format:: e-book

4. Rigorous State-Based Methods

Author:: Raschke, Alexander; Houdek, Frank; Méry, Dominique
Publisher:: Springer International Publishing 2020
Format:: e-book

5. Integrated Formal Methods

Author:: Méry, Dominique; Kanade, Takeo; Merz, Stephan; Kittler, Josef
Publisher:: Springer Berlin Heidelberg 2010
Format:: e-book

6. Rigorous State-Based Methods : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

Author:: Glässer, Uwe.; Creissac Campos, Jose; Méry, Dominique; Palanque, Philippe
Publisher:: Cham Springer 2023
Format:: e-book

7. Model and Data Engineering

Author:: Abdelwahed; Carlos Ordonez; Dominique Méry; Ladjel Bellatreche; Mattéo Golfarelli; Bellatreche, Ladjel; Golfarelli, Mattéo; Méry, Dominique; Ordonez, Carlos
Publisher:: Springer International Publishing 2018
Format:: e-book

8. FM 2012: Formal Methods

Author:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Mery, Dominique
Publisher:: Springer Berlin Heidelberg 2012
Format:: e-book

9. New Trends in Model and Data Engineering

Author:: Abdelwahed; Bellatreche, Ladjel; Benslimane, Djamal; Golfarelli, Matteo; Jean, Stéphane; Mery, Dominique; Nakamatsu, Kazumi; Ordonez, Carlos
Publisher:: Springer International Publishing 2018
Format:: e-book