Language: English

圖資館首頁

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Nanda, Manju.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Formal methods for safety and securitycase studies for aerospace applications / by: Jeppu, Yogananda.; Nanda, Manju.; SpringerLink (Online service) (Electronic resources)

Subjects

Software Engineering. Formal methods (Computer science) Aerospace Technology and Astronautics. Engineering. Calculus of Variations and Optimal Control; Optimization. Quality Control, Reliability, Safety and Risk.

Change password

Login