Zhang, Liang-Jie.
High Assurance Services Computing [electronic resource] / edited by Liang-Jie Zhang, Raymond Paul, Jing Dong. - Boston, MA : Springer US, 2009. - digital.
9780387876580
10.1007/978-0-387-87658-0 doi
Computer science.
Operating systems (Computers).
Software engineering.
Data protection.
Computer Science.
Systems and Data Security.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Processor Architectures.
Performance and Reliability.
Software Engineering/Programming and Operating Systems.
High Assurance Services Computing [electronic resource] / edited by Liang-Jie Zhang, Raymond Paul, Jing Dong. - Boston, MA : Springer US, 2009. - digital.
9780387876580
10.1007/978-0-387-87658-0 doi
Computer science.
Operating systems (Computers).
Software engineering.
Data protection.
Computer Science.
Systems and Data Security.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Processor Architectures.
Performance and Reliability.
Software Engineering/Programming and Operating Systems.