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.

An Interval-Based Approach to Modelling Time in Event-B

Gintautas Sulskus, Michael Poppleton, Abdolbaghi Rezazadeh. An Interval-Based Approach to Modelling Time in Event-B. In Mehdi Dastani, Marjan Sirjani, editors, Fundamentals of Software Engineering - 6th International Conference, FSEN 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers. Volume 9392 of Lecture Notes in Computer Science, pages 292-307, Springer, 2015. [doi]

Authors

Gintautas Sulskus

This author has not been identified. Look up 'Gintautas Sulskus' in Google

Michael Poppleton

This author has not been identified. Look up 'Michael Poppleton' in Google

Abdolbaghi Rezazadeh

This author has not been identified. Look up 'Abdolbaghi Rezazadeh' in Google
runs on