On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP.
VenueCRSP
Year2005
ProceedingsIEEE International Workshop on Rapid System Prototyping
DBLP recordconf/rsp/JeradB05 ↗
Browse the full RSP paper archive.