|
|
Publications in Math-Net.Ru |
Citations |
|
2018 |
1. |
Tomas Kulik, Peter Gorm Larsen, “Towards formal verification of cyber security standards”, Proceedings of ISP RAS, 30:4 (2018), 79–94 |
3
|
|
2016 |
2. |
C. Thule, P. G. Larsen, “Investigating concurrency in the co-simulation orchestration engine for INTO-CPS”, Proceedings of ISP RAS, 28:2 (2016), 139–156 |
1
|
|
Organisations |
|
|