![]() | Monter d'un niveau |
Robati, T., El Kouhen, A., Gherbi, A., & Mullins, J. (septembre 2015). Simulation-based verification of avionic systems deployed on IMA architectures [Communication écrite]. 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems : Demo and Poster Session (MoDELS P&D 2015), Ottawa, ON, Canada. Lien externe