|
||
---|---|---|
hal-01153777v1
Journal articles
Simulation of real-time systems with clock calculus Simulation Modelling Practice and Theory, Elsevier, 2015, vol. 51, pp. 69-86. ⟨10.1016/j.simpat.2014.10.010⟩ |
||
hal-01285662v1
Journal articles
Exploring AADL verification tool through model transformation Journal of Systems Architecture, Elsevier, 2015, 61 (3-4), pp.141-156. ⟨10.1016/j.sysarc.2015.02.003⟩ |
||
|