UML/event-B-based modelling and verification of the car cruise control system
2022 ◽
Vol 16
(1)
◽
pp. 14
1983 ◽
Vol IE-30
(2)
◽
pp. 108-113
◽
2021 ◽
pp. 1-14
Keyword(s):
2021 ◽
2008 ◽
Vol 44
(11)
◽
pp. 863-870
◽