Mateus Krepsky Ludwich, Antônio Augusto Fröhlich. On the formal verification of component-based embedded operating systems. Operating Systems Review, 47(1):28-34, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.