DMCA
A Formal Modeling for Embedded Hard Real-Time Systems
by
Raimundo Barreto
,
Paulo Maciel
,
Eduardo Tavares
,
Marcelo Custódio
,
Romulo Freitas
,
Meuse Oliveira
,
Centro De Informática Ufpe