VIVO
Selecione um idioma
Português (Portugal)
English (United States)
Index
Formulário de pesquisa
Início
Pessoas
Organizações
Investigação
Proposing a formal method to reduce RTS logical model complexity
Artigo de Conferência
Visão geral
Identidade
Informação adicional documento
Ver Todos
Visão geral
autores
Marcondes, Francisco Supino
Marcondes, F.S.
De Menezes Colonese, E.
Dias, L.A.V.
Vega, Í.S.
data de publicação
janeiro 1, 2008
Identidade
Digital Object Identifier (DOI)
https://doi.org/10.1109/itng.2008.202
Informação adicional documento
Página Inicial
645
página final
650