UML/event-B-based modelling and verification of the car cruise control system

Author(s):  
Hemza Merouani ◽  
Fateh Boutekkouk ◽  
Imad Merouani
1983 ◽  
Vol IE-30 (2) ◽  
pp. 108-113 ◽  
Author(s):  
Kazumasa Nakamura ◽  
Takeshi Ochiai ◽  
Kou Tanigawa

Author(s):  
Michail Makridis ◽  
Konstantinos Mattas ◽  
Daniele Borio ◽  
Raimondo Giuliani ◽  
Biagio Ciuffo

Sign in / Sign up

Export Citation Format

Share Document