Simulation validity assessment in the context of embedded system design, 2009. ,
Verifying trace inclusion between an experimental frame and a model, DEVS Integrative Modeling and Simulation Symposium, 2010. ,
The Landing Gear Case Study, 4 th International ABZ Conference, Case study track. Cousot, Patrick, 1992, Abstract Interpretation Frameworks, Journal of Logic and Computation, vol.2, pp.511-547, 2014. ,
Simulation validation using the compatibility between simulation model and experimental frame, Proceedings of the 2013 Summer Computer Simulation Conference, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00868406
Formal compatibility of experimental frame concept and FDDEVS model, 9th International Conference on Modeling, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00728676
Approximation Metrics for Discrete and Continuous Systems, IEEE Transactions on Automatic Control, vol.52, issue.5, pp.782-798, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00171714
Scalable semantic annotation using lattice based ontologies, Lecture Notes in Computer Science, vol.5795, pp.393-407, 2009. ,
Single hydraulic cylinder simulation, SIMULINK R2014a Example ,
Capturing the dual relationship between simulation models and their context, Simulation Modelling Practice and Theory, vol.14, issue.2, pp.126-142, 2006. ,
Theory of Modelling and Simulation, 1984. ,