Filtros : "Boaventura, I G" "MASIERO, PAULO CESAR" "ICMC" Removidos: "Barroca, Leonor" "Bremer, Carlos Frederico" "Annales" Limpar


  • Source: Information and Software Technology. Unidade: ICMC

    Assunto: ENGENHARIA DE SOFTWARE

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

      MASIERO, Paulo Cesar e MALDONADO, José Carlos e BOAVENTURA, I G. Reachability tree for statecharts and analysis of some properties. Information and Software Technology, v. 36, n. 10, p. 615-24, 1994Tradução . . Disponível em: https://doi.org/10.1016/0950-5849(94)90021-3. Acesso em: 07 out. 2024.
    • APA

      Masiero, P. C., Maldonado, J. C., & Boaventura, I. G. (1994). Reachability tree for statecharts and analysis of some properties. Information and Software Technology, 36( 10), 615-24. doi:10.1016/0950-5849(94)90021-3
    • NLM

      Masiero PC, Maldonado JC, Boaventura IG. Reachability tree for statecharts and analysis of some properties [Internet]. Information and Software Technology. 1994 ;36( 10): 615-24.[citado 2024 out. 07 ] Available from: https://doi.org/10.1016/0950-5849(94)90021-3
    • Vancouver

      Masiero PC, Maldonado JC, Boaventura IG. Reachability tree for statecharts and analysis of some properties [Internet]. Information and Software Technology. 1994 ;36( 10): 615-24.[citado 2024 out. 07 ] Available from: https://doi.org/10.1016/0950-5849(94)90021-3
  • Source: Actas. Conference titles: Conferencia Latinoamericana de Informatica. Unidade: ICMC

    Assunto: ENGENHARIA DE SOFTWARE

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

      MASIERO, Paulo Cesar e BOAVENTURA, I G e MALDONADO, José Carlos. Dynamic properties of statecharts: a reachability tree and analysis of some properties. 1992, Anais.. Espanha: Universidad de las Palmas, 1992. . Acesso em: 07 out. 2024.
    • APA

      Masiero, P. C., Boaventura, I. G., & Maldonado, J. C. (1992). Dynamic properties of statecharts: a reachability tree and analysis of some properties. In Actas. Espanha: Universidad de las Palmas.
    • NLM

      Masiero PC, Boaventura IG, Maldonado JC. Dynamic properties of statecharts: a reachability tree and analysis of some properties. Actas. 1992 ;[citado 2024 out. 07 ]
    • Vancouver

      Masiero PC, Boaventura IG, Maldonado JC. Dynamic properties of statecharts: a reachability tree and analysis of some properties. Actas. 1992 ;[citado 2024 out. 07 ]

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