Scheduling real-time systems with periodic tasks using a model-checking approach (2014)
- Authors:
- Autor USP: SILVA, JOSÉ REINALDO - EP
- Unidade: EP
- Subjects: TEMPO-REAL; INTELIGÊNCIA ARTIFICIAL; REDES DE PETRI
- Language: Inglês
- Imprenta:
- Publisher: IEEE
- Publisher place: Piscataway
- Date published: 2014
- Conference titles: International Conference on Industrial Informatics - INDIN
-
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: 24 jan. 2026. -
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.pdf -
NLM
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 2026 jan. 24 ] 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 -
Vancouver
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 2026 jan. 24 ] 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 - Análise de invariantes na rede de Petri Ghenesys
- Toward a multi-agent manager to a set of agv's
- A estruturação do problema de planejamento em uma abordagem baseada em IA e no formalismo das redes de Petri
- Mercado aberto para automação e informática industrial
- Análise da propriedade distância síncrona na rede GHENeSYS
- Uma formalização do processo de design baseado em metáforas: sua aplicação na automatização de sistemas de eventos discretos
- Modelagem e design de sistemas automatizados
- Applying Petri nets to requirements validation
- Towards a modeling discipline for building and residence automation
- Towards a unified view of Petri nets and object oriented modeling
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
SilvaJ-2014-Scheduling re... |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
