Modelagem e verificação de escalonabilidade de sistemas de tempo real
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Escalonamento
-
Escalonamento Tempo Real
-
Modelagem
-
Redes de Petri
-
Sistemas de Tempo Real
-
Tempo Real
-
Verificação
-
Verificação Formal
Identidade
identificador BrCris
-
3ff463db79472e6beae52827873ef7b2
identificador Capes
-
20068041001010005P1-Publication
identificador Oasisbr
-
UFSC_71f70ac2d2ab014c8b8d586f94867620