[IEEE 2009 IEEE/IFIP International Symposium on Rapid...

  • Main
  • [IEEE 2009 IEEE/IFIP International...

[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.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2009
Language:
english
DOI:
10.1109/rsp.2009.30
File:
PDF, 375 KB
english, 2009
Conversion to is in progress
Conversion to is failed