| Fechar | |
|
From statecharts into model checking: A hierarchy-based translation and specification patterns properties to generate test cases
Lista de arquivos depositados em: |
|
| Nome | Última modificação | Tamanho |
| :: santiago_from.pdf | 08/11/2017 12:47 | 332.2 KiB |
| 2 arquivos escondidos |
| Fechar |