Nouha Abid

According to our database¹, Nouha Abid authored at least 4 papers between 2012 and 2014.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2014

A formal framework to specify and verify real-time properties on critical systems.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2014

2013

A Verified Approach for Checking Real-Time Specification Patterns

[BibT_eX]

[DOI]

CoRR, 2013

2012

Verification of real time properties in fiacre language.

[BibT_eX]

[DOI]

PhD thesis, 2012

Real-Time Specification Patterns and Tools.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2012