A System-based Approach to the Formal Development of Embedded Controllers for a Railway
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
2002.
|
| Subjects: | |
| Online Access: | Get fulltext |
| LEADER | 00329 am a22001093u 4500 | ||
|---|---|---|---|
| 001 | 256233 | ||
| 042 | |a dc | ||
| 100 | 1 | 0 | |a Butler, Michael |e author |
| 245 | 0 | 0 | |a A System-based Approach to the Formal Development of Embedded Controllers for a Railway |
| 260 | |c 2002. | ||
| 856 | |z Get fulltext |u https://eprints.soton.ac.uk/256233/1/rail.ps | ||
| 655 | 7 | |a Article | |