Distributed Prototyping from Validated Specifications.
David Hansel, Rance Cleaveland, Scott A. Smolka
VenueCRSP
Year2001
ProceedingsIEEE International Workshop on Rapid System Prototyping
DBLP recordconf/rsp/HanselCS01 ↗
Browse the full RSP paper archive.