Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
ter Beek, Maurice
14  Ergebnisse:
E-Books X
Personensuche X
?
1

Proceedings of the 21st International Systems and Software ..:

ter Beek, Maurice ; Cazzola, Walter ; Diaz, Oscar... , 2017
Link: https://dl.acm.org/doi/1..
 
?
2

Architecting dependable systems VI 

Lecture notes in computer science ; 5835
Fabre, Jean-Charles ; Gacek, Cristina ; Gadducci, Fabio.. , 2009
Link: http://dx.doi.org/10.100..
 
?
3

Integrated Formal Methods: 17th International Conference, I.. 

Lecture Notes in Computer Science, 13274
ter Beek, Maurice H ; Monahan, Rosemary - 1st ed. 2022 . , 2022
Link: https://doi.org/10.1007/..
 
?
4

Coordination Models and Languages: 24th IFIP WG 6.1 Interna.. 

Lecture Notes in Computer Science, 13271
ter Beek, Maurice H ; Sirjani, Marjan - 1st ed. 2022 . , 2022
Link: https://doi.org/10.1007/..
 
?
5

Formal Methods for Industrial Critical Systems: 25th Intern.. 

Programming and Software Engineering, 12327
ter Beek, Maurice H ; Ničković, Dejan - 1st ed. 2020 . , 2020
Link: https://doi.org/10.1007/..
 
?
6

Formal Methods – The Next 30 Years: Third World Congress, F.. 

Programming and Software Engineering, 11800
ter Beek, Maurice H ; McIver, Annabelle ; Oliveira, José N - 1st ed. 2019 . , 2019
Link: https://doi.org/10.1007/..
 
?
7

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

Theoretical Computer Science and General Issues, 11865
ter Beek, Maurice H ; Fantechi, Alessandro ; Semini, Laura - 1st ed. 2019 . , 2019
Link: https://doi.org/10.1007/..
 
?
8

Proceedings of the Eleventh International Workshop on Varia..:

ter Beek, Maurice H. ; Siegmund, Norbert ; Schaefer, Ina , 2017
Link: https://dl.acm.org/doi/1..
 
?
9

Critical Systems: Formal Methods and Automated Verification 

Joint 21st International Workshop on Formal Methods for Ind...  Lecture Notes in Computer Science ; 9933;Programming and Software Engineering ; 9933;SpringerLink, Bücher;Springer eBook Collection, Computer Science
ter Beek, Maurice H. ; Gnesi, Stefania ; Knapp, Alexander , 2016
Link: https://doi.org/10.1007/..
 
?
10

Proceedings of the 18th International Software Product Line..:

Gnesi, Stefania ; Fantechi, Alessandro ; ter Beek, Maurice H.... , 2014
Link: https://dl.acm.org/doi/1..
 
?
11

Proceedings of the 27th ACM International Systems and Softw..:

Arcaini, Paolo ; Beek, Maurice H. ter ; Perrouin, Gilles... , 2023
Link: https://dl.acm.org/doi/1..
 
?
12

Proceedings of the 27th ACM International Systems and Softw..:

Arcaini, Paolo ; Beek, Maurice H. ter ; Perrouin, Gilles... , 2023
Link: https://dl.acm.org/doi/1..
 
?
13

A mosaic of computational topics: from classical to novel :..:

Beek, Maurice H. ter ; Koutny, Maciej ; Rozenberg, Grzegorz , 2020
Link: https://search.ebscohost..
 
?
14

Web Services and Formal Methods 

9th International Workshop, WS-FM 2012, Tallinn, Estonia, S...  Lecture Notes in Computer Science ; 7843;SpringerLink, Bücher
Beek, Maurice H. ; Lohmann, Niels , 2013
Link: https://doi.org/10.1007/..
 
1-14