Proposta de um Método de Verificação por Tempo Global com Redes de Petri no Desenvolvimento de Software Embarcado e de Tempo Real
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Análise Temporal
-
Petri nets
-
Redes de Petri
-
Redes de Petri Temporais
-
Software Embarcado
-
Software embarcado
-
Tempo Global
-
Tempo real
-
embedded systems
-
real-time systems
-
sistemas embarcados
Identidade
identificador BrCris
-
7c79b3e050cdf854d275e79d737a0c87