A New Specification Methodology for Embedded Systems Based on the - Calculus Process Algebra.
Stefan Frster, Marco Fischer, Andr Windisch, Burkhard Balser, Dieter Monjau
VenueCRSP
Year2003
ProceedingsIEEE International Workshop on Rapid System Prototyping
DBLP recordconf/rsp/ForsterFWBM03 ↗
Browse the full RSP paper archive.