A System-based Approach to the Formal Development of Embedded Controllers for a Railway


Butler, Michael (2002) A System-based Approach to the Formal Development of Embedded Controllers for a Railway Design Automation for Embedded Systems, 6, pp. 355-366.

Download

[img] Postscript rail.ps - Other
Download (184kB)
Item Type: Article
Organisations: Electronic & Software Systems
ePrint ID: 256233
Date :
Date Event
2002Published
Date Deposited: 04 Jan 2002
Last Modified: 17 Apr 2017 23:08
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/256233

Actions (login required)

View Item View Item