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.

UML/event-B-based modelling and verification of the car cruise control system
Hemza Merouani; Fateh Boutekkouk; Imad Merouani
International Journal of Computer Aided Engineering and Technology (IJCAET), 2022 Vol.16 No.1, pp.14 - 39
12 + 20 =

Thank you for your feedback.

Return to top