Ferrarezi, Rodrigo Cesar; Santos Filho, Diolino Jose dos (Orientador) 
Subjects: FRAMEWORKS, SISTEMAS DE CONTROLE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERRAREZI, Rodrigo Cesar. Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-31122015-112539/. Acesso em: 26 set. 2024.APA
Ferrarezi, R. C. (2014). Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-31122015-112539/NLM
Ferrarezi RC. Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança [Internet]. 2014 ;[citado 2024 set. 26 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-31122015-112539/Vancouver
Ferrarezi RC. Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança [Internet]. 2014 ;[citado 2024 set. 26 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-31122015-112539/
