Filtros : "FERRAREZI, RODRIGO CÉSAR" Limpar

Filtros



Refine with date range


  • Unidade: EP

    Subjects: FRAMEWORKS, SISTEMAS DE CONTROLE

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      FERRAREZI, Rodrigo Cesar; SANTOS FILHO, Diolino Jose dos. Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança. 2014.Universidade de São Paulo, São Paulo, 2014. Disponível em: < http://www.teses.usp.br/teses/disponiveis/3/3152/tde-31122015-112539/pt-br.php >.
    • APA

      Ferrarezi, R. C., & Santos Filho, D. J. dos. (2014). Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança. Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-31122015-112539/pt-br.php
    • NLM

      Ferrarezi RC, Santos Filho DJ dos. Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança [Internet]. 2014 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-31122015-112539/pt-br.php
    • Vancouver

      Ferrarezi RC, Santos Filho DJ dos. Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança [Internet]. 2014 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-31122015-112539/pt-br.php

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2021