Skip to content
cs-conference-ranking.org

System Design Validation Using Formal Models.

Peter Henderson, Robert John Walters

VenueCRSP
Year1999
ProceedingsIEEE International Workshop on Rapid System Prototyping
DBLP recordconf/rsp/HendersonW99 ↗

Browse the full RSP paper archive.