| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume  |
Pages |
|---|---|---|---|---|---|---|---|---|---|
| Dipoppa, G.; D'Alessandro, G.; Semprini, R.; Tronci, E. | Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design | 2001 | High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on | IEEE Computer Society | 0-7695-1275-5 | 10.1109/HASE.2001.966821 | 209-219 |