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 |