Cortés, David
5717  Ergebnisse:
Personensuche X
?
2

Time for Networks: Mutation Testing for Timed Automata Netw..:

, In: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE),
Cortés, David ; Ortiz, James ; Basile, Davide... - p. 44-54 , 2024
 
?
4

Formal Verification of a Mechanical Ventilator using UPPAAL:

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

Development of in situ bioprinting: A mini review:

MacAdam, Aidan ; Chaudry, Emaan ; McTiernan, Christopher D....
Frontiers in Bioengineering and Biotechnology.  10 (2022)  - p. , 2022
 
?
13

Design Process: The Importance of Its Implementation:

, In: Human Systems Engineering and Design II; Advances in Intelligent Systems and Computing,
 
?
15

TE-DMM: A Proposal to Improve the Control Plane in PMIPv6-b..:

Calle, Jesus ; Carmona, Javier ; Cortés, David..
IEEE Latin America Transactions.  13 (2015)  9 - p. 3149-3155 , 2015
 
1-15