Autor(es):
Borges, Paulo 
; Machado, José Mendes ; Seabra, Eurico ; Lima, Mário
Data: 2010
Identificador Persistente: http://hdl.handle.net/1822/18103
Origem: RepositóriUM - Universidade do Minho
Assunto(s): Safe controllers; Real-time systems; Embedded systems; Formal verification; Specification formalisms
