Author(s):
Borges, Paulo 
; Machado, José Mendes ; Seabra, Eurico ; Lima, Mário
Date: 2010
Persistent ID: http://hdl.handle.net/1822/18103
Origin: RepositóriUM - Universidade do Minho
Subject(s): Safe controllers; Real-time systems; Embedded systems; Formal verification; Specification formalisms
