Formal Modelling of Cruise Control System Using Event-B and Rodin Platform
no === Formal modelling is essential for precisely defining, understanding and reasoning when designing complex systems, such as cyberphysical systems. In this paper we present a formal specification using Event-B and Rodin platform for a case study of a cruise control system for a hybrid propulsion v...
Main Authors: | , , , |
---|---|
Language: | en |
Published: |
2018
|
Subjects: | |
Online Access: | http://hdl.handle.net/10454/16555 |