Formal Methods for Safety and Security Case Studies for Aerospace Applications
tarafından
 
Nanda, Manju. editor.

Başlık
: 
Formal Methods for Safety and Security Case Studies for Aerospace Applications

Yazar
: 
Nanda, Manju. editor.

ISBN
: 
9789811041211

Basım Bilgisi
: 
1st ed. 2018.

Fiziksel Tanımlama
: 
XII, 132 p. 42 illus., 24 illus. in color. online resource.

Konu Terimleri
: 
Astronautics.
 
Mathematical optimization.
 
System safety.
 
Software engineering.

Yazar Ek Girişi
: 
Nanda, Manju.
 
Jeppu, Yogananda.

Tüzel Kişi Ek Girişi
: 
SpringerLink (Online service)

Elektronik Erişim
: 
https://doi.org/10.1007/978-981-10-4121-1


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap402229-1001ONLINEElektronik Kütüphane