| 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:04 | 1.3 MiB |
| 2 arquivos escondidos |
| Fechar |