Assertion-based verification of RTOS properties

Article CLOSED
Marcio Oliveira ; Henning Zabel ; Wolfgang Mueller (2010)
Share - Bookmark