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

Arianna Z. Olivera Salmon, Pedro M. Gonzalez del Foyo, Jose R. Silva

Browse the full INDIN paper archive.