Search - Fundamentals of Software Engineering Access content directly

Filter your results

1 Array
Image document

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

Gintautas Sulskus , Michael Poppleton , Abdolbaghi Rezazadeh
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.292-307, ⟨10.1007/978-3-319-24644-4_20⟩
Conference papers hal-01446607v1