Close | |
Towards a wide acceptance of formal methods to the design of safety critical software: an approach based on UML and model checking
List of files deposited in: |
Name | Last modified | Size |
:: eras_towards.pdf | 14/09/2020 12:03 | 1.3 MiB |
2 hidden files |
Close |