MDA Approach for Distributed and Real-Time embedded Systems Analysis and Verification - Overview and First Proposal.

Nadia Menad, Philippe Dhaussy, Belhadri Messabih

Browse the full ICSoft paper archive.