bib.howest.be Zoekresultaten

U zocht naar: Auteur ter Beek

1 - 7 van 7

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

Auteur:: ter Beek; Ničković, Dejan
Uitgever:: Springer International Publishing 2020
Type:: 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

Auteur:: ter Beek, Maurice H.; Sirjani, Marjan
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book

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

Auteur:: ter Beek; Fantechi, Alessandro; Semini, Laura
Uitgever:: Springer International Publishing 2019
Type:: e-book

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

Auteur:: ter Beek, Maurice H.; Monahan, Rosemary
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book

5. Formal Methods – The Next 30 Years

Auteur:: ter Beek; McIver, Annabelle; Oliveira, José N.
Uitgever:: Springer International Publishing 2019
Type:: e-book

6. Architecting Dependable Systems VI

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

7. Critical Systems: Formal Methods and Automated Verification

Auteur:: Beek, Maurice H. ter. Gnesi, Stefania. Knapp, Alexander.; Gnesi, Stefania; Knapp, Alexander
Uitgever:: Springer International Publishing 2016
Type:: e-book