%0 Conference Proceedings %@nexthigherunit 8JMKD3MGPCW/446B2HE %@holdercode {isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S} %@resumeid %@resumeid %@resumeid 8JMKD3MGP5W/3C9JGH7 %B Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), 28 %@mirrorrepository sid.inpe.br/mtc-m19@80/2009/08.21.17.02.53 %E SBC, %T Embedded critical software testing for aerospace applications based on PUS %@format CD-ROM; On-line. %@secondarytype PRE CN %8 24 - 28 maio 2010 %@usergroup administrator %@usergroup marciana %@group %@group %@group DSS-ETE-INPE-MCT-BR %3 oliveira.pdf %@secondarykey INPE--PRE/ %@issn 2177-9384. %2 sid.inpe.br/mtc-m19@80/2010/08.09.13.02.58 %@affiliation Departamento de Engenharia Mecânica, Instituto Tecnológico de Aeronáutica - ITA %@affiliation Instituto de Computação - UNICAMP %@affiliation Instituto Nacional de Pesquisas Espaciais (INPE) %@affiliation ITA %P 181-186 %4 sid.inpe.br/mtc-m19@80/2010/08.09.13.02 %@documentstage not transferred %D 2010 %S Anais %A Pontes, Rodrigues P., %A Martins, Eliane, %A Ambrósio, Ana maria, %A Villani, Elília, %C Gramado %@area ETES