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

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

Formal Methods for Safety and Security, Manju Nand

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

Manju Nanda Formal Methods for Safety and Security (Hardback) (UK IMPORT)

Formal Methods for Safety and Security: Case St, Nanda, Jeppu..

Formal Methods for Safety and Security - 9789811041204

Formal Methods for Safety and Security - 9789811350542