2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE)
| Author/creator | IEEE Staff |
| Other author | IEEE Xplore (Online service) |
| Format | Electronic |
| Publication Info | Piscataway : IEEE |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) Conference Proceedings |
| Supplemental Content | Full text available from IEEE Electronic Library (IEL) |
| Subjects |
| Summary | Annotation The IEEE International Symposium on High Assurance Systems Engineering (HASE) is a forum on tools and techniques used to design and construct systems that, in addition to meeting their functional objectives, are safe and secure Of central importance, is the strength of the evidence supporting the assurance case the argument that a system satisfies its safety and security policies Supporting evidence can be obtained from a number of sources including testing, verification, design methodologies, simulation, and analysis tools |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9781479981120 |
| ISBN | 1479981125 (Spiral) Active Record |
| Stock number | 00066573 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |