External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Sorina-Nicoleta Predut, Florentin Ipate, Marian Gheorghe, Felician Campean. Formal Modelling of Cruise Control System Using Event-B and Rodin Platform. In 20th IEEE International Conference on High Performance Computing and Communications; 16th IEEE International Conference on Smart City; 4th IEEE International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2018, Exeter, United Kingdom, June 28-30, 2018. pages 1541-1546, IEEE, 2018. [doi]

Authors

Sorina-Nicoleta Predut

This author has not been identified. Look up 'Sorina-Nicoleta Predut' in Google

Florentin Ipate

This author has not been identified. Look up 'Florentin Ipate' in Google

Marian Gheorghe

This author has not been identified. Look up 'Marian Gheorghe' in Google

Felician Campean

This author has not been identified. Look up 'Felician Campean' in Google
runs on