Pedro M. Gonzalez del Foyo

Scheduling real-time systems with periodic tasks using a model-checking approach

Arianna Z. Olivera Salmon, Pedro M. Gonzalez del Foyo, Jose R. Silva, 2014, 2014 12th IEEE International Conference on Industrial Informatics (INDIN).

USING TIME PETRI NETS FOR MODELING AND VERIFICATION OF TIMED CONSTRAINEDWORKFLOW SYSTEMS

Pedro M. Gonzalez del Foyo, José Reinaldo Silva, 2007 .