Nadia Menad

According to our database, Nadia Menad authored at least 4 papers between 2013 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Towards a Transformation Approach of Timed UML MARTE Specifications for Observer-Based Formal Verification.

Nadia Menad, Philippe Dhaussy, Zoé Drey, Rachida Mekki

Comput. Informatics, 2016

2013

A Transformation Approach for Multiform Time Requirements.

Nadia Menad, Philippe Dhaussy

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

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

Nadia Menad, Philippe Dhaussy, Belhadri Messabih

Proceedings of the ICSOFT 2013, 2013

Real-Time and Embedded Systems Challenges - Key Requirements and Issues.

Nadia Menad, Philippe Dhaussy

Proceedings of the ICSOFT 2013, 2013