Nadia Menad

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 1

Top Topics

Uml Activity Diagrams

Formal Verification

Embedded Systems

Top Venues

Comput. Informatics

Publications

Nadia Menad, Philippe Dhaussy, Zoé Drey, Rachida Mekki
Towards a Transformation Approach of Timed UML MARTE Specifications for Observer-Based Formal Verification. Comput. Informatics 35 (2) (2016)
Nadia Menad, Philippe Dhaussy
A Transformation Approach for Multiform Time Requirements. SEFM (2013)
Nadia Menad, Philippe Dhaussy, Belhadri Messabih
MDA Approach for Distributed and Real-Time embedded Systems Analysis and Verification - Overview and First Proposal. ICSOFT (2013)
Nadia Menad, Philippe Dhaussy
Real-Time and Embedded Systems Challenges - Key Requirements and Issues. ICSOFT (2013)