Rapid Prototyping of Embedded Software Using Selective Formalism.
John D. Carter, Ming Xu, William B. Gardner
VenueCRSP
Year2005
ProceedingsIEEE International Workshop on Rapid System Prototyping
DBLP recordconf/rsp/CarterXG05 ↗
Browse the full RSP paper archive.