@InProceedings{AlmeidaMatt:2017:MoInOn,
author = "Almeida, D. P. and Mattiello Francisco, F{\'a}tima",
affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)} and {Instituto
Nacional de Pesquisas Espaciais (INPE)}",
title = "Modelling of the interoperability between on\‐board
computer and payloads of the NANOSATC\‐BR2 with support of
the UPPAAL too",
year = "2017",
organization = "IAA Latin American Symposium on Small Satellites: Advanced
Technologies and Distributed Systems, 1.",
conference-location = "San Mart{\'{\i}}n, Buenos Aires",
conference-year = "7-10 Mar.",
language = "en",
urlaccessdate = "23 abr. 2024"
}