Autor(es):
Campos, J. Creissac
Data: 2004
Identificador Persistente: http://hdl.handle.net/1822/684
Origem: RepositóriUM - Universidade do Minho
Assunto(s): Usabilidade; Verificação de modelos; Model checking
Autor(es):
Campos, J. Creissac
Data: 2004
Identificador Persistente: http://hdl.handle.net/1822/684
Origem: RepositóriUM - Universidade do Minho
Assunto(s): Usabilidade; Verificação de modelos; Model checking
Financiadores do RCAAP | |||||||
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |