Formal Methods for Safety and Security: Case Studies for Aerospace Applications
Autor:
Manju Nanda, Yogananda Jeppu
Disponibilitate:
În depozitul extern
Expediem în 10-13 zile
646.33
lei
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delve...
