Login / Signup

Real-time design models to RTOS-specific models refinement verification.

Rania MzidChokri MraidhaJean-Philippe BabauMohamed Abid
Published in: ACES-MB@MoDELS (2012)
Keyphrases