Runtime Verification
Outros Autores: | Legay |
---|---|
Formato: | Recurso Eletrônico livro eletrônico |
Idioma: | English |
Publicado em: |
Springer Berlin Heidelberg,
2013
|
Edição: | 1 |
Assuntos: | |
Acesso em linha: | Full text available on Springer Off-campus access |
Registros relacionados
-
Runtime Verification
Publicado em: (2013) - Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution
- Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution
- [email protected] (RE@RunTime), International Workshop on
- 2010 First International Workshop on [email protected]