Verification of automated systems using invariants (2014)
Salmon, Arianna Zoila Oliveira; Del Foyo, Pedro Manuel Gonzalez; Silva, José Reinaldo 
Source: Anais. Conference titles: Congresso Brasileiro de Automática - CBA. Unidade: EP
Subjects: REDES DE PETRI, ANÁLISE DE REQUISITOS, ALGORITMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SALMON, Arianna Zoila Oliveira e DEL FOYO, Pedro Manuel Gonzalez e SILVA, José Reinaldo. Verification of automated systems using invariants. 2014, Anais.. [Belo Horizonte: Sba/IFAC], 2014. Disponível em: http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf. Acesso em: 02 out. 2024.APA
Salmon, A. Z. O., Del Foyo, P. M. G., & Silva, J. R. (2014). Verification of automated systems using invariants. In Anais. [Belo Horizonte: Sba/IFAC]. Recuperado de http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdfNLM
Salmon AZO, Del Foyo PMG, Silva JR. Verification of automated systems using invariants [Internet]. Anais. 2014 ;[citado 2024 out. 02 ] Available from: http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdfVancouver
Salmon AZO, Del Foyo PMG, Silva JR. Verification of automated systems using invariants [Internet]. Anais. 2014 ;[citado 2024 out. 02 ] Available from: http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf
