Alessandro De Gennaro
Dr Andrey Mokhov
Paulius Stankaitis
Maxim Rykunov
| Prototyping Resilient Processing Cores in Workcraft | 2017 |
|
Paulius Stankaitis
Dr Alexei Iliasov
| Safety verification of modern railway signalling with the SafeCap platform | 2017 |
|
Paulius Stankaitis
Dr Alexei Iliasov
| Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks | 2017 |
|
Paulius Stankaitis
Dr Alexei Iliasov
| Safety Verification of Heterogeneous Railway Networks | 2016 |
|
