Formal Methods for Safety and Security: Case Studies for Aerospace Applications

Formal Methods for Safety and Security, Manju Nand

Formal Methods for Safety and Security - 9789811041204

Formal Methods for Safety and Security: Case Studies by Manju Nanda HARDBACK

Formal Methods for Safety and Security : Case Studies for Aerospace Applicati...

Formal Methods for Multi-Agent Feedback Control Systems by Lars Lindemann Paperb

Software Engineering and Formal Methods: 22nd International Conference, SEFM 202