We use cookies to personalise content and ads, to provide social media features and to analyse our traffic. Read more about our Privacy Policy.

Event

26 Feb

Home Affairs

FM-BIASED Impact of Application of Formal Methods to security

Workshop of FM-BIASED project (CIPS Home) on business impact of formal methods in several sectors where security standards are enforced