An Approach to Modelling and Refining Timing Properties in B


Butler, Michael and Falampin, Jerome (2002) An Approach to Modelling and Refining Timing Properties in B At Refinement of Critical Systems (RCS).

Download

[img] PDF ButlerFalampin.pdf - Other
Download (85kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: Refinement of Critical Systems (RCS), 2002-01-01
Organisations: Electronic & Software Systems
ePrint ID: 256235
Date :
Date Event
January 2002Published
Date Deposited: 04 Jan 2002
Last Modified: 17 Apr 2017 23:07
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/256235

Actions (login required)

View Item View Item