Scheduling real-time systems with periodic tasks using a model-checking approach (2014)
Conference titles: International Conference on Industrial Informatics - INDIN. Unidade: EPSubjects: TEMPO-REAL, INTELIGÊNCIA ARTIFICIAL, REDES DE PETRI
ABNT
OLIVERA SALMON, Arianna Zoila e GONZÁLEZ DEL FOYO, Pedro Manuel e SILVA, José Reinaldo. Scheduling real-time systems with periodic tasks using a model-checking approach. 2014, Anais.. Piscataway: IEEE, 2014. Disponível em: https://repositorio.usp.br/directbitstream/47ecedbf-8f18-4720-91ab-a05c900db618/SilvaJ-2014-Scheduling%20real-time%20systems%20with%20periodic%20tasks%20using%20a%20model-checking%20approach%20ok.pdf. Acesso em: 11 set. 2024.APA
Olivera Salmon, A. Z., González Del Foyo, P. M., & Silva, J. R. (2014). Scheduling real-time systems with periodic tasks using a model-checking approach. In . Piscataway: IEEE. Recuperado de https://repositorio.usp.br/directbitstream/47ecedbf-8f18-4720-91ab-a05c900db618/SilvaJ-2014-Scheduling%20real-time%20systems%20with%20periodic%20tasks%20using%20a%20model-checking%20approach%20ok.pdfNLM
Olivera Salmon AZ, González Del Foyo PM, Silva JR. Scheduling real-time systems with periodic tasks using a model-checking approach [Internet]. 2014 ;[citado 2024 set. 11 ] Available from: https://repositorio.usp.br/directbitstream/47ecedbf-8f18-4720-91ab-a05c900db618/SilvaJ-2014-Scheduling%20real-time%20systems%20with%20periodic%20tasks%20using%20a%20model-checking%20approach%20ok.pdfVancouver
Olivera Salmon AZ, González Del Foyo PM, Silva JR. Scheduling real-time systems with periodic tasks using a model-checking approach [Internet]. 2014 ;[citado 2024 set. 11 ] Available from: https://repositorio.usp.br/directbitstream/47ecedbf-8f18-4720-91ab-a05c900db618/SilvaJ-2014-Scheduling%20real-time%20systems%20with%20periodic%20tasks%20using%20a%20model-checking%20approach%20ok.pdf