Please use this identifier to cite or link to this item:
http://localhost/handle/Hannan/2715
| Title: | Formal Methods for Safety and Security : Case Studies for Aerospace Applications / edited by Manju Nanda, Yogananda Jeppu. |
| Year: | 2018 |
| Description: | ALMA ; Maskinellt genererad post. endra kod fer fullstendighetsnive (leader/17), annars kommer manuellt gjorda endringar att fersvinna. ; Tdig ; ALMA ; Print ; Formal Methods for Safety and Security : Case Studies for Aerospace Applications / edited b |
| URI: | http://localhost/handle/Hannan/2715 |
| ISBN: | 978-981-10-4121-1 (Print) ; |
| Appears in Collections: | مهندسی فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9789811041211.pdf | 4.63 MB | Adobe PDF |  Preview File |
| Title: | Formal Methods for Safety and Security : Case Studies for Aerospace Applications / edited by Manju Nanda, Yogananda Jeppu. |
| Year: | 2018 |
| Description: | ALMA ; Maskinellt genererad post. endra kod fer fullstendighetsnive (leader/17), annars kommer manuellt gjorda endringar att fersvinna. ; Tdig ; ALMA ; Print ; Formal Methods for Safety and Security : Case Studies for Aerospace Applications / edited b |
| URI: | http://localhost/handle/Hannan/2715 |
| ISBN: | 978-981-10-4121-1 (Print) ; |
| Appears in Collections: | مهندسی فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9789811041211.pdf | 4.63 MB | Adobe PDF | Preview File |
| Title: | Formal Methods for Safety and Security : Case Studies for Aerospace Applications / edited by Manju Nanda, Yogananda Jeppu. |
| Year: | 2018 |
| Description: | ALMA ; Maskinellt genererad post. endra kod fer fullstendighetsnive (leader/17), annars kommer manuellt gjorda endringar att fersvinna. ; Tdig ; ALMA ; Print ; Formal Methods for Safety and Security : Case Studies for Aerospace Applications / edited b |
| URI: | http://localhost/handle/Hannan/2715 |
| ISBN: | 978-981-10-4121-1 (Print) ; |
| Appears in Collections: | مهندسی فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9789811041211.pdf | 4.63 MB | Adobe PDF | Preview File |