[IEEE 2014 IEEE/ACM 18th International Symposium on...

  • Main
  • [IEEE 2014 IEEE/ACM 18th International...

[IEEE 2014 IEEE/ACM 18th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) - Toulouse, France (2014.10.1-2014.10.3)] 2014 IEEE/ACM 18th International Symposium on Distributed Simulation and Real Time Applications - A Method for Improving the Verification and Validation of Systems by the Combined Use of Simulation and Formal Methods

Yacoub, Aznam, Hamri, Maamar, Frydman, Claudia
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:
2014
Language:
english
DOI:
10.1109/ds-rt.2014.27
File:
PDF, 302 KB
english, 2014
Conversion to is in progress
Conversion to is failed