Welcome to IOU Digital Library

This edited volume captures the latest practical developments in service-oriented high-assurance systems. Contributed by established researchers worldwide, it reports on current practices and emerging methods in service-oriented techniques for high-assurance systems. The book includes results from industry, government R&D laboratories, and academia, along with insights from software professionals' hands-on experiences. It is designed for practitioners and researchers in industrial organizations and government agencies, as well as advanced-level students in computer science and engineering.

no reviews

245: $a: High Assurance Services Computing
245: $b:
082: $a:
100: $a: Jing Dong, Raymond Paul & Liang-Jie Zhang
650: $a: Computer Science
250: $a:
440: $v:
250: $b: Springer Science & Business Media
250: $c: 2009
020: $a: 978-0-387-87658-0
300: $a: 328