Sousa,, Manuel António Freitas de Safety critical interactive computing systems' modelling [Documento eletrónico] / Manuel António Freitas de Sousa ; orient. José Creissac Campos, Miriam C. Bergue Alves

Safety critical interactive computing systems' modelling [Documento eletrónico] / Manuel António Freitas de Sousa ; orient. José Creissac Campos, Miriam C. Bergue Alves . - [Braga : s.n.], 2012 . -

681.3