Search for persons
X
?
1
NASA Formal Methods: 14th International Symposium, NFM 2022..
Lecture Notes in Computer Science, 13260
?
2
Formal Methods
22nd International Symposium, FM 2018, Held as Part of the ...
Lecture Notes in Computer Science ; 10951;Programming and Software Engineering ; 10951;SpringerLink, Bücher
?
4
NASA Formal Methods
7th International Symposium, NFM 2015, Pasadena, CA, USA, A...
Lecture Notes in Computer Science ; 9058;SpringerLink, Bücher
?
5
Tools and Algorithms for the Construction and Analysis of S..
20th International Conference, TACAS 2014, Held as Part of ...
Lecture Notes in Computer Science ; 8413;SpringerLink, Bücher
?
6
NASA Formal Methods
Third International Symposium, NFM 2011, Pasadena, CA, USA,...
Lecture Notes in Computer Science ; 6617;SpringerLink, Bücher
?
7
NASA formal methods
third international symposium, NFM 2011, Pasadena, CA, USA,...
Lecture notes in computer science ; 6617
?
8
Runtime verification
first international conference, RV 2010, St. Julians, Malta...
Lecture notes in computer science ; 6418
?
9
Model checking software
15th international SPIN workshop, Los Angeles, CA, USA, Aug...
Lecture notes in computer science ; 5156
?
10
Model Checking Software
15th International SPIN Workshop, Los Angeles, CA, USA, Aug...
Lecture Notes in Computer Science ; 5156;SpringerLink, Bücher;Springer eBook Collection, Computer Science
?
11
Formal approaches to software testing and runtime verificat..
first combined international workshops FATES 2006 and RV 20...
Lecture notes in computer science ; 4262
?
12
SPIN Model Checking and Software Verification
7th International SPIN Workshop, Stanford, CA, USA, August ...
Lecture Notes in Computer Science ; 1885