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

Formal Methods for Safety and Security, Manju Nand

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

Formal Methods for Safety and Security - 9789811350542

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

Formal Methods for Industrial Critical Systems: A Survey of Applications by Stef

RISK-REDUCTION METHODS FOR OCCUPATIONAL SAFETY AND HEALTH Hardcover By Roger C