Menu

Filtros : "Nascimento, Luis" Limpar

Filtros

Refine with date range

  • 1

1 - 2 (2 records)

  • Trabalho de evento-anais periodico

    ACEditor: a modeling tool for specifying and synthesizing executable assurance cases from fault trees (2026)

    Nascimento, Luis; Oliveira, Andre Luiz ; Villela, Regina ; Fonseca, Hiago; Branco, Kalinka Regina Lucas Jaquie Castelo ; Wei, Ran ; Hawkins, Richard ; Kelly, Timothy Patrick

    Source: Lecture Notes in Computer Science - LNCS. Conference titles: International Symposium on Model-Based Safety and Assessment - IMBSA. Unidade: ICMC

    Subjects: SISTEMAS AUTÔNOMOS, FALHAS COMPUTACIONAIS

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

    • ABNT

      NASCIMENTO, Luis et al. ACEditor: a modeling tool for specifying and synthesizing executable assurance cases from fault trees. Lecture Notes in Computer Science - LNCS. Cham: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/978-3-032-05073-1_20. Acesso em: 28 abr. 2026. , 2026

    • APA

      Nascimento, L., Oliveira, A. L., Villela, R., Fonseca, H., Branco, K. R. L. J. C., Wei, R., et al. (2026). ACEditor: a modeling tool for specifying and synthesizing executable assurance cases from fault trees. Lecture Notes in Computer Science - LNCS. Cham: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. doi:10.1007/978-3-032-05073-1_20

    • NLM

      Nascimento L, Oliveira AL, Villela R, Fonseca H, Branco KRLJC, Wei R, Hawkins R, Kelly TP. ACEditor: a modeling tool for specifying and synthesizing executable assurance cases from fault trees [Internet]. Lecture Notes in Computer Science - LNCS. 2026 ; 15755 299-317.[citado 2026 abr. 28 ] Available from: https://doi.org/10.1007/978-3-032-05073-1_20

    • Vancouver

      Nascimento L, Oliveira AL, Villela R, Fonseca H, Branco KRLJC, Wei R, Hawkins R, Kelly TP. ACEditor: a modeling tool for specifying and synthesizing executable assurance cases from fault trees [Internet]. Lecture Notes in Computer Science - LNCS. 2026 ; 15755 299-317.[citado 2026 abr. 28 ] Available from: https://doi.org/10.1007/978-3-032-05073-1_20

  • Parte de monografia/livro

    Produção cartográfica e iconográfica como instrumento de análise (2018)

    Macedo, Silvio Soares; Campos, Ana Cecília M. de Arruda; Pegoraro, Rafael Lopez; Aguchiku, Patricia Eiko; Lobão, Fernanda Zironian; Nascimento, Luis; Cruz, Renan

    Source: Reflexões sobre espaços livres na forma urbana. Unidade: FAU

    Subjects: ESPAÇOS LIVRES, MORFOLOGIA URBANA, PAISAGEM URBANA

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

    • ABNT

      MACEDO, Silvio Soares et al. Produção cartográfica e iconográfica como instrumento de análise. Reflexões sobre espaços livres na forma urbana. Tradução . São Paulo: FAUUSP, 2018. . Disponível em: https://www.dropbox.com/s/440ibqlcd6ga2vl/LIVRO%202_Reflex%C3%B5es%20sobre%20espa%C3%A7os%20livres%20na%20forma%20urbana.pdf?dl=0. Acesso em: 28 abr. 2026.

    • APA

      Macedo, S. S., Campos, A. C. M. de A., Pegoraro, R. L., Aguchiku, P. E., Lobão, F. Z., Nascimento, L., & Cruz, R. (2018). Produção cartográfica e iconográfica como instrumento de análise. In Reflexões sobre espaços livres na forma urbana. São Paulo: FAUUSP. Recuperado de https://www.dropbox.com/s/440ibqlcd6ga2vl/LIVRO%202_Reflex%C3%B5es%20sobre%20espa%C3%A7os%20livres%20na%20forma%20urbana.pdf?dl=0

    • NLM

      Macedo SS, Campos ACM de A, Pegoraro RL, Aguchiku PE, Lobão FZ, Nascimento L, Cruz R. Produção cartográfica e iconográfica como instrumento de análise [Internet]. In: Reflexões sobre espaços livres na forma urbana. São Paulo: FAUUSP; 2018. [citado 2026 abr. 28 ] Available from: https://www.dropbox.com/s/440ibqlcd6ga2vl/LIVRO%202_Reflex%C3%B5es%20sobre%20espa%C3%A7os%20livres%20na%20forma%20urbana.pdf?dl=0

    • Vancouver

      Macedo SS, Campos ACM de A, Pegoraro RL, Aguchiku PE, Lobão FZ, Nascimento L, Cruz R. Produção cartográfica e iconográfica como instrumento de análise [Internet]. In: Reflexões sobre espaços livres na forma urbana. São Paulo: FAUUSP; 2018. [citado 2026 abr. 28 ] Available from: https://www.dropbox.com/s/440ibqlcd6ga2vl/LIVRO%202_Reflex%C3%B5es%20sobre%20espa%C3%A7os%20livres%20na%20forma%20urbana.pdf?dl=0
  • 1

1 - 2 (2 records)

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