1
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Publicado em 2007
Dissertação
Refinar a Busca
Competing software system
1
Comportamento de programas
1
Design by Contract - DbC
1
DesignMonitor
1
Detecção automática de violações
1
Linear Time Logic - LTL
1
Mais ...
Lógica linear temporal
1
Programação orientad a aspectos com AspectJ
1
Sistema de software concorrentes
1
Sistemas concorrentes
1
Tempo de execução - programas
1
Ver todos ...
menos ...