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. Refinement of Critical Systems (RCS).

Record type: Conference or Workshop Item (Paper)

Text

ButlerFalampin.pdf - Other

Download (85kB)

More information

Published date: January 2002

Venue - Dates: Refinement of Critical Systems (RCS), 2002-01-01

Organisations: Electronic & Software Systems

Local EPrints ID: 256235

URI: http://eprints.soton.ac.uk/id/eprint/256235

PURE UUID: c2d3311d-2c26-45ab-b69c-6d7601609d48

ORCID for Michael Butler:

orcid.org/0000-0003-4642-5373

Date deposited: 04 Jan 2002

Last modified: 15 Mar 2024 02:50

Author: Michael Butler

Author: Jerome Falampin

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.