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):  
Dongyao Jia ◽  
Haibo Chen ◽  
Zuduo Zheng ◽  
David Watling ◽  
Richard Connors ◽  
...  

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

1997 ◽  
Author(s):  
P. Fancher ◽  
Z. Bareket ◽  
S. Bogard ◽  
C. MacAdam ◽  
R. Ervin

Sign in / Sign up

Export Citation Format

Share Document