Menu

Filtros : "Financiamento EPSRC" "Springer" Limpar

Filtros

Refine with date range

  • 1

1 - 2 (2 records)

  • Trabalho de evento-anais periodico

    Active inference of EFSMs without reset (2023)

    Foster, Michael ; Groz, Roland ; Oriat, Catherine ; Simão, Adenilso da Silva ; Vega, Germán ; Walkinshaw, Neil

    Source: Lecture Notes in Computer Science - LNCS. Conference titles: International Conference on Formal Engineering Methods - ICFEM. Unidade: ICMC

    Subjects: ALGORITMOS ÚTEIS E ESPECÍFICOS, ENGENHARIA REVERSA DE SOFTWARE, INFERÊNCIA

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

    • ABNT

      FOSTER, Michael et al. Active inference of EFSMs without reset. Lecture Notes in Computer Science - LNCS. Singapura: Springer. Disponível em: https://doi.org/10.1007/978-981-99-7584-6_3. Acesso em: 11 nov. 2025. , 2023

    • APA

      Foster, M., Groz, R., Oriat, C., Simão, A. da S., Vega, G., & Walkinshaw, N. (2023). Active inference of EFSMs without reset. Lecture Notes in Computer Science - LNCS. Singapura: Springer. doi:10.1007/978-981-99-7584-6_3

    • NLM

      Foster M, Groz R, Oriat C, Simão A da S, Vega G, Walkinshaw N. Active inference of EFSMs without reset [Internet]. Lecture Notes in Computer Science - LNCS. 2023 ; 14308 29-46.[citado 2025 nov. 11 ] Available from: https://doi.org/10.1007/978-981-99-7584-6_3

    • Vancouver

      Foster M, Groz R, Oriat C, Simão A da S, Vega G, Walkinshaw N. Active inference of EFSMs without reset [Internet]. Lecture Notes in Computer Science - LNCS. 2023 ; 14308 29-46.[citado 2025 nov. 11 ] Available from: https://doi.org/10.1007/978-981-99-7584-6_3

  • Parte de monografia/livro

    Two-dimensional executable temporal logic for bitemporal databases (2000)

    Finger, Marcelo ; Reynolds, Mark

    Source: Advances in temporal logic. Unidade: IME

    Assunto: LÓGICA

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

    • ABNT

      FINGER, Marcelo e REYNOLDS, Mark. Two-dimensional executable temporal logic for bitemporal databases. Advances in temporal logic. Tradução . Dordrecht: Springer, 2000. . Disponível em: https://doi.org/10.1007/978-94-015-9586-5_20. Acesso em: 11 nov. 2025.

    • APA

      Finger, M., & Reynolds, M. (2000). Two-dimensional executable temporal logic for bitemporal databases. In Advances in temporal logic. Dordrecht: Springer. doi:10.1007/978-94-015-9586-5_20

    • NLM

      Finger M, Reynolds M. Two-dimensional executable temporal logic for bitemporal databases [Internet]. In: Advances in temporal logic. Dordrecht: Springer; 2000. [citado 2025 nov. 11 ] Available from: https://doi.org/10.1007/978-94-015-9586-5_20

    • Vancouver

      Finger M, Reynolds M. Two-dimensional executable temporal logic for bitemporal databases [Internet]. In: Advances in temporal logic. Dordrecht: Springer; 2000. [citado 2025 nov. 11 ] Available from: https://doi.org/10.1007/978-94-015-9586-5_20
  • 1

1 - 2 (2 records)

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