SBESC 2017
VII Brazilian Symposium on Computing Systems EngineeringCuritiba, Brasil
Homepage: http://sbesc.lisha.ufsc.br/sbesc2017/Home
Invited Keynote Speaker: http://sbesc.lisha.ufsc.br/sbesc2017/Keynote+Speakers
CISTER's main roles:
Eduardo TovarConference or Workshop Papers/Talks
Formal Verification of AADL Models Using UPPAAL CISTER-TR-171101
Fernando Gonçalves, David Pereira, Eduardo Tovar, Leandro BeckerVII Brazilian Symposium on Computing Systems Engineering (SBESC 2017). 7 to 10, Nov, 2017, Session 10: Development and Tools - B, pp 117-124. Curitiba, Brasil.
Fernando Gonçalves, David Pereira, Eduardo Tovar, Leandro BeckerVII Brazilian Symposium on Computing Systems Engineering (SBESC 2017). 7 to 10, Nov, 2017, Session 10: Development and Tools - B, pp 117-124. Curitiba, Brasil.
PDF