Percorrer por revistas 93591
Mostrar 1-4 de um total de 4 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
2010 | Bringing class diagrams to life | Barbosa, L. S.; Sun, Meng | Artigo | Acesso aberto |
2010 | Deductive verification of cryptographic software | Almeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al. | Artigo | Acesso aberto |
Mar-2009 | Formal requirements modeling with executable use cases and Coloured Petri Nets | Jorgensen, Jens B.; Tjell, Simon; Fernandes, João M. | Artigo | Acesso aberto |
2015 | Reusing models and properties in the analysis of similar interactive devices | Harrison, Michael D.; Campos, J. Creissac; Masci, Paolo | Artigo | Acesso aberto |