Cuartas, J
2806  Ergebnisse:
Personensuche X
?
 
?
4

4-12-05 Illiteracy effects on the neuropsychological assess..:

Pineda, D. ; Mejía, S. ; Ardila, A..
Journal of the Neurological Sciences.  150 (1997)  - p. S227 , 1997
 
?
 
?
10

MUPPAAL: Reducing and Removing Equivalent and Duplicate Mut..:

, In: 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW),
Cuartas, Jaime ; Aranda, Jesus ; Cordy, Maxime... - p. 52-61 , 2023
 
?
15

Formal Verification of a Mechanical Ventilator using UPPAAL:

, In: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems,
 
1-15