![](/img/cover-not-exists.png)
[IEEE 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) - Curitiba, PR, Brazil (2017.11.6-2017.11.10)] 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) - Formal Verification of AADL Models Using UPPAAL
Goncalves, Fernando Silvano, Pereira, David, Tovar, Eduardo, Becker, Leandro BussYear:
2017
Language:
english
DOI:
10.1109/SBESC.2017.22
File:
PDF, 533 KB
english, 2017