Amanote Research
Register
Sign In
System-Level Verification of Embedded Operating Systems Components
doi 10.1109/sbesc.2012.39
Full Text
Open PDF
Abstract
Available in
full text
Date
November 1, 2012
Authors
Mateus Krepsky Ludwich
Antonio Augusto Frohlich
Publisher
IEEE