30 citations · 30 across the 1 of their papers we have counts for
1 paper
Mario Gleirscher, Nikita Johnson, Panayiotis Karachristou +3
The coordinated assurance of interrelated critical properties, such as system safety and cyber-security, is one of the toughest challenges in critical systems engineering. In this…