Author(s):
Campos, J. Creissac
Date: 2004
Persistent ID: http://hdl.handle.net/1822/684
Origin: RepositóriUM - Universidade do Minho
Subject(s): Usabilidade; Verificação de modelos; Model checking
Author(s):
Campos, J. Creissac
Date: 2004
Persistent ID: http://hdl.handle.net/1822/684
Origin: RepositóriUM - Universidade do Minho
Subject(s): Usabilidade; Verificação de modelos; Model checking
Financiadores do RCAAP | |||||||
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |