Calás, Héctor
12  Ergebnisse:
Personensuche X
?
 
?
 
?
9

Deploying TESTAR to Enable Remote Testing in an Industrial ..:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles; Lecture Notes in Computer Science,
Ricós, Fernando Pastor ; Aho, Pekka ; Vos, Tanja... - p. 543-557 , 2020
 
?
10

Deploying TESTAR to Enable Remote Testing in an Industrial ..:

Pastor-Ricós, Fernando ; Aho, Pekka ; Vos, Tanja Ernestina...
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles. 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20¿30, 2020, Proceedings, Part I.  , 2020
 
1-12