| Fechar | |
|
An algorithm to translate UML behavioral diagrams for formal verification
Lista de arquivos depositados em: |
|
| baixar de uma só vez todos os arquivos listados abaixo dentro um arquivo .zip |
| Nome | Última modificação | Tamanho |
| :: Santos_algorithm.pdf | 28/08/2023 09:05 | 91.5 KiB |
| :: thisInformationItemHomePage.html | 03/05/2024 20:49 | 6.2 KiB |
|
2 arquivos exibidos 1 arquivo escondido |
| Fechar |