Search

You searched for: Auteur ter Beek, Maurice H. Remove constraint Auteur: ter Beek, Maurice H.
1 - 4 of 4
Number of results to display per page

Search Results

1. 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
thumbnail
Full text!
Author:
ter Beek, Maurice H.; Sirjani, Marjan
Publisher:
Cham Springer International Publishing AG 2022
Format:
e-book
2. Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings
thumbnail
Full text!
Author:
ter Beek, Maurice H.; Monahan, Rosemary
Publisher:
Cham Springer International Publishing AG 2022
Format:
e-book
3. Architecting Dependable Systems VI
thumbnail
Full text!
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
4. Critical Systems: Formal Methods and Automated Verification
thumbnail
Full text!
Author:
Beek, Maurice H. ter. Gnesi, Stefania. Knapp, Alexander.; Gnesi, Stefania; Knapp, Alexander
Publisher:
Springer International Publishing 2016
Format:
e-book