Nayara de Souza SILVA,Vaston Gonçalves da COSTA,Marcelo Henrique STOPPA,Verificação formal de sistemas digitais embarcados,Tecnologias em pesquisa: engenharias Volume 1, 2017, Pages 121-134, ISSN , http://dx.doi.org/10.5151/9788580392234-08, (https://openaccess.blucher.com.br/)keywords :