Formal Specification and Verification of Embedded System with Shared Resources.
Ki-Seok Bang, Jin-Young Choi, Sung-Ho Jang
VenueCRSP
Year2004
ProceedingsIEEE International Workshop on Rapid System Prototyping
DBLP recordconf/rsp/BangCJ04 ↗
Browse the full RSP paper archive.