Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets.
Xavier Renault, Fabrice Kordon, Jrme Hugues
VenueCRSP
Year2009
ProceedingsIEEE International Workshop on Rapid System Prototyping
DBLP recordconf/rsp/RenaultKH09 ↗
Browse the full RSP paper archive.