![](/img/cover-not-exists.png)
[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, ClaudiaYear:
2014
Language:
english
DOI:
10.1109/ds-rt.2014.27
File:
PDF, 302 KB
english, 2014