EVEREST: An Automatic Model-Based Testing Tool for Asynchronous Reactive Systems
Documento
-
- Visão geral
-
- Identidade
-
- Informação adicional documento
-
- Outro
-
- Ver todos
-
Visão geral
tipo
data de publicação
publicada em
Identidade
identificador BrCris
-
c87650904372fc2faa5a1f687ce91e13
Outro