Um Simulador para Validação de Sistemas Dependentes de Tempo Descritos em RT-LOTOS
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
-
Especificação e Validação de Sistemas
-
RT-LOTOS
-
Simulação
-
Sistemas Distribuídos Dependentes do Tempo
-
Sistemas tempo-real - Real-time systems
Identidade
identificador BrCris
-
a765497d7fdb0b6cb7263d1e9eefe493
identificador Oasisbr
-
UFSC_0c2ca07c269dbfb32ec2f7880a05a1dc