Larsen Peter Gorm

Publications in Math-Net.Ru

1. Towards formal verification of cyber security standards
   
   Proceedings of ISP RAS, 30:4 (2018),  79–94
2. Investigating concurrency in the co-simulation orchestration engine for INTO-CPS
   
   Proceedings of ISP RAS, 28:2 (2016),  139–156