![](/img/cover-not-exists.png)
7.1.4 Automatic Generation and Verification of Design Specifications for Railway Signalling Applications
Robinson, Neil, Kearney, Peter, Tombs, David, Barney, David, Nikandros, GeorgeVolume:
11
Language:
english
Journal:
INCOSE International Symposium
DOI:
10.1002/j.2334-5837.2001.tb02290.x
Date:
July, 2001
File:
PDF, 596 KB
english, 2001