Login

Formal Verification of AADL Models Using UPPAAL
Ref: CISTER-TR-171101       Publication Date: 7 to 10, Nov, 2017

Formal Verification of AADL Models Using UPPAAL

Ref: CISTER-TR-171101       Publication Date: 7 to 10, Nov, 2017
Authors:
Fernando Gonçalves
,
David Pereira
,
Eduardo Tovar
,
Leandro Becker


Events:

SBESC 2017
7, Nov, 2017 >> 10, Nov, 2017
VII Brazilian Symposium on Computing Systems Engineering
Curitiba, Brasil


VII Brazilian Symposium on Computing Systems Engineering (SBESC 2017), Session 10: Development and Tools - B.
Curitiba, Brasil.



Record Date: 13, Nov, 2017