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 verification of dynamic updating in a Java-based embedded system
Razika Lounas; Mohamed Mezghiche; Jean-Louis Lanet
International Journal of Critical Computer-Based Systems (IJCCBS), 2017 Vol.7 No.4, pp.303 - 340
5 + 12 =

Thank you for your feedback.

Return to top