CARRERO, Marcos; ZAMPRONI, Katriny; MUSICANTE, Martin A.; SANTOS, Aldri; HARA, Carmem. Uma Máquina de Estados para Especificação de Códigos de Simulação para Redes de Sensores sem Fio Urbanas. In: SIMPÓSIO BRASILEIRO DE COMPUTAÇÃO UBÍQUA E PERVASIVA (SBCUP), 10. , 2018, Natal. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2018 . ISSN 2595-6183. DOI: https://doi.org/10.5753/sbcup.2018.3284.