Somos UnB
UnB
Última atualização do sistema: 13.11.2024
HOME
INDICADORES
CONTATO
SOBRE
Palavra-chave:
Real-time systems
utilizada 5 vezes por 2 professores
Utilizada por 2 professores
Por ordem de relevância (total: 2)
Genaina Nunes Rodrigues
Geovany Araujo Borges
Palavras-chave relacionadas
Palavra-chave relacionada é aquela que foi utilizada juntamente com "Real-time systems"
Data mining
Observer automata
Property Specification Patterns
Real-time systems
Self-adaptive systems
Supervised learning
goal oriented dependability analysis
model checking
CTIT UFMG