Dynamic software architectures: formal specification and verification with CSP
Proceedings of the Fourth Asia-Pacific Symposium on Internetware
Hi-index | 0.00 |
As information technology has spread into all kinds of systems, vulnerabilities in critical infrastructure have increased. Reasons for failing systems vary from the technical issues of new technology to the human aspects. Developing dependable complex ...