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.

Specification and verification of real-time systems using POLA
Florent Peres, Pierre-Emmanue Hladik, Francois Vernadat
International Journal of Critical Computer-Based Systems (IJCCBS), 2011 Vol.2 No.3/4, pp.332 - 351
18 + 17 =

Thank you for your feedback.