Recomendar Item: Prototipação e verificação formal de sistema autônomo com propriedades tempo-real : um estudo de caso no Body Sensor Network

Para recomendar esse Item a alguém, preencha o formulário abaixo. Campos marcados com um '*' são obrigatórios.