Fechar | |
Towards a wide acceptance of formal methods to the design of safety critical software: an approach based on UML and model checking
Lista de arquivos depositados em: |
Nome | Última modificação | Tamanho |
:: eras_towards.pdf | 14/09/2020 12:03 | 1.3 MiB |
2 arquivos escondidos |
Fechar |