Article Comments

Contributions from readers on our articles are very welcome. This form will let us retrieve the current data in the database and allows us to consider your comments.

A formal framework to specify and verify real-time properties on critical systems
Nouha Abid; Silvano Dal Zilio; Didier Le Botlan
International Journal of Critical Computer-Based Systems (IJCCBS), 2014 Vol.5 No.1/2, pp.4 - 30
1 - 1 =

Thank you for your feedback.

Return to top