Ларсен Питер Горм

Публикации в базе данных Math-Net.Ru

1. Towards formal verification of cyber security standards
   
   Труды ИСП РАН, 30:4 (2018),  79–94
2. Investigating concurrency in the co-simulation orchestration engine for INTO-CPS
   
   Труды ИСП РАН, 28:2 (2016),  139–156