Recent publications of the team "Formal Specification, Verification and Implementation of Concurrent Real-Time Embedded Systems"

About Alejandro Díaz-Caro

Profesor Adjunto @ UNQ
Investigador Asistente @ CONICET

Bookmark the permalink.