Validation and Verification of Automated Systems
Latest Publications


TOTAL DOCUMENTS

21
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783030146276, 9783030146283

Author(s):  
Gerald Temme ◽  
Michael Scholz ◽  
Mohamed Mahmod
Keyword(s):  

Author(s):  
Sytze Kalisvaart ◽  
Zora Slavik ◽  
Olaf Op den Camp
Keyword(s):  

Author(s):  
Teun Hendriks ◽  
Kostas Triantafyllidis ◽  
Roland Mathijssen ◽  
Jacco Wesselius ◽  
Piërre van de Laar

Author(s):  
M. Rooker ◽  
J. F. López ◽  
P. Horstrand ◽  
M. Pusenius ◽  
T. Leppälampi ◽  
...  

Author(s):  
L. Armesto Caride ◽  
A. Rodríguez ◽  
A. Pérez Garcia ◽  
S. Sáez ◽  
J. Valls ◽  
...  
Keyword(s):  

Author(s):  
Andrea Leitner ◽  
Jürgen Holzinger ◽  
Hannes Schneider ◽  
Michael Paulweber ◽  
Nadja Marko
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document