Zobrazeno 1 - 10 of 18 pro vyhledávání: '"Falcão, Flávia"'
1
Akademický článek
A formal component model for UML based on CSP aiming at compositional verification.
Autor: Falcão, Flávia1 (AUTHOR) fmcf2@cin.ufpe.br, Lima, Lucas2 (AUTHOR) lucas.albertins@ufrpe.br, Sampaio, Augusto1 (AUTHOR) acas@cin.ufpe.br, Antonino, Pedro3 (AUTHOR) prgantonino@gmail.com
Publikováno v: Software & Systems Modeling. Jun2024, Vol. 23 Issue 3, p765-798. 34p.
Zobrazit plný text záznamu
2
Akademický článek
Hydromechanical simulation of a carbonate petroleum reservoir using pseudo-coupling
Autor: Falcao, Flavia, Vargas, E.A., Velloso, Raquel, Soares, Antonio Claudio
Publikováno v: In Geoenergy Science and Engineering June 2024 237
Zobrazit plný text záznamu
3
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
5
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
6
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
7
Dissertation/ Thesis
Multi-Sincronização em menssage sequence charts
Autor: Mérylyn Carneiro Falcão, Flávia
Publikováno v: Repositório Institucional da UFPEUniversidade Federal de PernambucoUFPE.
Made available in DSpace on 2014-06-12T15:51:19Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008
Conselho Nacional de Desenvolvimento Científico e Tecnológico
Externí odkaz: https://repositorio.ufpe.br/handle/123456789/1591
Zobrazit plný text záznamu
10
Periodical
Multiple Synchrony in MSC.
Autor: Falcão, Flávia, Iyoda, Juliano, Sampaio, Augusto
Publikováno v: ENTCS: Electronic Notes in Theoretical Computer Science; Jul2009, Vol. 240, p149-166, 18p
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje