Please use this identifier to cite or link to this item:
https://thuvienso.bvu.edu.vn/handle/TVDHBRVT/17106| Title: | Formal Methods for Safety and Security |
| Authors: | Manju Nanda Yogananda Jeppu |
| Keywords: | Engineerring |
| Issue Date: | 2018 |
| Publisher: | Springer |
| URI: | http://thuvienso.bvu.edu.vn/handle/TVDHBRVT/17106 |
| Other Identifiers: | 10.1007/978-981-10-4121-1 |
| Appears in Collections: | Engineering |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 978-981-10-4121-1.pdf | 4,63 MB | Adobe PDF |  Sign in to read |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.