Butler, Michael (2002) A System-based Approach to the Formal Development of Embedded Controllers for a Railway. Design Automation for Embedded Systems, 6, 355-366.
Record type:
Article
More information
Published date: 2002
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 256233
URI: http://eprints.soton.ac.uk/id/eprint/256233
PURE UUID: deb5f979-e496-4233-b33c-9f4ea94640d5
Catalogue record
Date deposited: 04 Jan 2002
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Michael Butler
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.