Software and systems safety : specification and verification /
Information security depends upon an understanding of the functionality of software systems. Customers and information can only be protected from attack if this functionality is guaranteed to be correct and safe. A scientific foundation of software engineering not only provides models enabling the c...
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Amsterdam :
IOS Press,
2011.
|
| Series: | NATO science for peace and security series. Information and communication security ;
v. 30. |
| Subjects: | |
| Online Access: | CONNECT |
