Nouha Abid

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Top Venues

Int. J. Crit. Comput. Based Syst.

INSA Toulouse, France (PHD)

Education History

INSA Toulouse, France

PHD

Publications

Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan
A formal framework to specify and verify real-time properties on critical systems. Int. J. Crit. Comput. Based Syst. 5 (1/2) (2014)
Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan
A Verified Approach for Checking Real-Time Specification Patterns CoRR (2013)
Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan
Real-Time Specification Patterns and Tools CoRR (2013)
Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan
Real-Time Specification Patterns and Tools. FMICS (2012)