Formal Modelling of Cruise Control System Using Event-B and Rodin Platform.

Sorina-Nicoleta Predut, Florentin Ipate, Marian Gheorghe, Felician Campean

Browse the full HPCC paper archive.