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.

Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist

Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh. Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist. In El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Méry, Kazumi Nakamatsu, Carlos Ordonez 0001, editors, New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings. Volume 929 of Communications in Computer and Information Science, pages 153-158, Springer, 2018. [doi]

Authors

Guillaume Dupont

This author has not been identified. Look up 'Guillaume Dupont' in Google

Yamine Aït Ameur

This author has not been identified. Look up 'Yamine Aït Ameur' in Google

Marc Pantel

This author has not been identified. Look up 'Marc Pantel' in Google

Neeraj Kumar Singh

This author has not been identified. Look up 'Neeraj Kumar Singh' in Google
runs on