Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets
Renault, X., Kordon, F., Hugues, J.
Published in 2009 IEEE/IFIP International Symposium on Rapid System Prototyping (01.06.2009)
Published in 2009 IEEE/IFIP International Symposium on Rapid System Prototyping (01.06.2009)
Get full text
Conference Proceeding
From AADL Architectural Models to Petri Nets: Checking Model Viability
Renault, X., Kordon, F., Hugues, J.
Published in 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (01.03.2009)
Published in 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (01.03.2009)
Get full text
Conference Proceeding
New features in CPN-AMI 3: focusing on the analysis of complex distributed systems
Hamez, A., Hillah, L., Kordon, F., Linard, A., Paviot-Adet, E., Renault, X., Thierry-Mieg, Y.
Published in Sixth International Conference on Application of Concurrency to System Design (ACSD'06) (2006)
Published in Sixth International Conference on Application of Concurrency to System Design (ACSD'06) (2006)
Get full text
Conference Proceeding