Filtros : "FERRAREZI, RODRIGO CÉSAR" Limpar

Filtros



Refine with date range


  • Source: Preprints. Conference titles: World Congress of the International Federation of Automatic Control. Unidade: EP

    Subjects: ANÁLISE DE RISCO, SISTEMAS DE CONTROLE (SEGURANÇA)

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

      SOUZA, Jeferson Afonso Lopes de et al. Critical systems: a new approach in mitigation control layer. 2014, Anais.. Cape Town: Ifac, 2014. Disponível em: https://doi.org/10.3182/20140824-6-ZA-1003.02111. Acesso em: 18 abr. 2024.
    • APA

      Souza, J. A. L. de, Santos Filho, D. J. dos, Miyagi, P. E., Squillante Junior, R., & Ferrarezi, R. C. (2014). Critical systems: a new approach in mitigation control layer. In Preprints. Cape Town: Ifac. doi:10.3182/20140824-6-ZA-1003.02111
    • NLM

      Souza JAL de, Santos Filho DJ dos, Miyagi PE, Squillante Junior R, Ferrarezi RC. Critical systems: a new approach in mitigation control layer [Internet]. Preprints. 2014 ;[citado 2024 abr. 18 ] Available from: https://doi.org/10.3182/20140824-6-ZA-1003.02111
    • Vancouver

      Souza JAL de, Santos Filho DJ dos, Miyagi PE, Squillante Junior R, Ferrarezi RC. Critical systems: a new approach in mitigation control layer [Internet]. Preprints. 2014 ;[citado 2024 abr. 18 ] Available from: https://doi.org/10.3182/20140824-6-ZA-1003.02111
  • 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. 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: 18 abr. 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 abr. 18 ] 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 abr. 18 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-31122015-112539/

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