Formal Methods for Safety and Security
"Manju Nanda, Yogananda Jeppu"
Formal Methods for Safety and Security - Springer 2018
978-981-10-4121-1
"Engineering; Aerospace Technology and Astronautics; Calculus of Variations and Optimal Control; Optimization; Quality Control, Reliability, Safety and Risk; Software Engineering"
Formal Methods for Safety and Security - Springer 2018
978-981-10-4121-1
"Engineering; Aerospace Technology and Astronautics; Calculus of Variations and Optimal Control; Optimization; Quality Control, Reliability, Safety and Risk; Software Engineering"