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.

Precise use cases in a context-aware model-checking approach
Amel Benabbou; Safia Nait-Bahloul; Philippe Dhaussy
International Journal of Critical Computer-Based Systems (IJCCBS), 2018 Vol.8 No.3/4, pp.371 - 406
19 - 7 =

Thank you for your feedback.

Return to top