bib.howest.be Search Results

You searched for: Auteur ter Beek

1 - 7 of 7

1. Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings

Author:: ter Beek; Ničković, Dejan
Publisher:: Springer International Publishing 2020
Format:: e-book

2. Coordination Models and Languages : 24th IFIP WG 6. 1 International Conference, COORDINATION 2022, Held As Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings

Author:: ter Beek, Maurice H.; Sirjani, Marjan
Publisher:: Cham Springer International Publishing AG 2022
Format:: e-book

3. From Software Engineering to Formal Methods and Tools, and Back

Author:: ter Beek; Fantechi, Alessandro; Semini, Laura
Publisher:: Springer International Publishing 2019
Format:: e-book

4. Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

Author:: ter Beek, Maurice H.; Monahan, Rosemary
Publisher:: Cham Springer International Publishing AG 2022
Format:: e-book

5. Formal Methods – The Next 30 Years

Author:: ter Beek; McIver, Annabelle; Oliveira, José N.
Publisher:: Springer International Publishing 2019
Format:: e-book

6. Architecting Dependable Systems VI

Author:: Lemos, Rogério; Beek, Maurice; Fabre, Jean-Charles; Gacek, Cristina; Gadducci, Fabio; Kanade, Takeo; ter Beek, Maurice H.
Publisher:: Springer Berlin Heidelberg 2009
Format:: e-book

7. Critical Systems: Formal Methods and Automated Verification

Author:: Beek, Maurice H. ter. Gnesi, Stefania. Knapp, Alexander.; Gnesi, Stefania; Knapp, Alexander
Publisher:: Springer International Publishing 2016
Format:: e-book