Browsing by Author "Bernat, Guillem"
Now showing items 1-1 of 1
-
Automatic verification of timing constraints for safety critical space systems
Fernández Salgado, Javier; Parra Espada, Pablo; Sánchez Prieto, Sebastián; Rodríguez Polo, Óscar; Bernat, Guillem (2019-09)