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

Download

PDF
Download (83Kb)

Item Type:	Conference or Workshop Item (Paper)
Divisions:	Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems
Item ID:	256235
Date Deposited:	04 Jan 2002
Last Modified:	02 Mar 2012 13:40
Contributors:	Butler, Michael (Author) Falampin, Jerome (Author)
Date:	January 2002
Status:	Published
Further Information:	Google Scholar
URI:	http://eprints.soton.ac.uk/id/eprint/256235

URI:
RDF:	RDF+N-Triples, RDF+N3, RDF+XML, Browse.

View Item