| Original language | English |
|---|---|
| Title of host publication | Formal Methods for Industrial Critical Systems: A Survey of Applications |
| Publisher | Wiley-IEEE |
| Pages | 63-84 |
| Publication status | Published - 2013 |
Some trends in formal methods applications to railway signaling
A. Fantechi, W.J. Fokkink, A. Morzenti
Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review