Passos,, André Brito Towards a formally designed and verified embedded operating system [Documento eletrónico] : case study using the B Method / André Brito Passos ; orient. Simão Melo de Sousa, José Miguel Faria

Towards a formally designed and verified embedded operating system [Documento eletrónico] : case study using the B Method / André Brito Passos ; orient. Simão Melo de Sousa, José Miguel Faria . - [Covilhã : s.n.], 2009 . - 1 disco ótico (CD-ROM) : il. em caixa 13x15x1 cm . - Título e menção de responsabilidade retirados da etiqueta do disco ótico . -

681.3.06