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.

Translating STATEMATE models into FNLOG for the verification of safety requirements in reactive systems
Leila Jemni Ben Ayed, Yousra Hlaoui Ben Daly
International Journal of Internet Technology and Secured Transactions (IJITST), 2009 Vol.1 No.3/4, pp.236 - 271
9 + 5 =

Thank you for your feedback.

Return to top