SBESC 2017

VII Brazilian Symposium on Computing Systems Engineering
7, Nov, 2017 to 10, Nov, 2017
Curitiba, Brasil
Homepage: http://sbesc.lisha.ufsc.br/sbesc2017/HomeOutside Link

Invited Keynote Speaker: http://sbesc.lisha.ufsc.br/sbesc2017/Keynote+Speakers 



CISTER's main roles:
,
Eduardo Tovar
Keynote Speaker




Conference 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.
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               

PreviousNext