| |
| 2007 | ||
|---|---|---|
| 3 | EE | Martin Penicka: Formal Approach to Railway Applications. Formal Methods and Hybrid Real-Time Systems 2007: 504-520 |
| 2004 | ||
| 2 | Martin Penicka, Dines Bjørner: From railway resource planning to train operation. IFIP Congress Topical Sessions 2004: 629-636 | |
| 1 | Dines Bjørner, Peter Chiang, Morten S. T. Jacobsen, Jens Kielsgaard Hansen, Michael P. Madsen, Martin Penicka: Towards a formal model of CyberRail. IFIP Congress Topical Sessions 2004: 657-664 | |
| 1 | Dines Bjørner | [1] [2] |
| 2 | Peter Chiang | [1] |
| 3 | Jens Kielsgaard Hansen | [1] |
| 4 | Morten S. T. Jacobsen | [1] |
| 5 | Michael P. Madsen | [1] |