![](/img/cover-not-exists.png)
[IEEE 2009 IEEE/IFIP International Symposium on Rapid System Prototyping (RSP 2009) - Paris (2009.06.23-2009.06.26)] 2009 IEEE/IFIP International Symposium on Rapid System Prototyping - Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets
Renault, X., Kordon, F., Hugues, J.Year:
2009
Language:
english
DOI:
10.1109/rsp.2009.30
File:
PDF, 375 KB
english, 2009