Proceedings, IEEE High-Assurance Systems Engineering Workshop, October 21-22, 1996, Niagara onthe Lake, Ontario, Canada
著者
書誌事項
Proceedings, IEEE High-Assurance Systems Engineering Workshop, October 21-22, 1996, Niagara onthe Lake, Ontario, Canada
IEEE Computer Society Press, c1996
- タイトル別名
-
96TB100076
大学図書館所蔵 件 / 全2件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"IEEE order plan catalog number 96TB100076"--T.p. verso
内容説明・目次
内容説明
This text explores high-assurance software design and development. It includes: specification and testing of high-assurance systems; quality and high assurance; concurrency and high-assurance; high-assurance execution environments; security; and reliability and high-assurance.
「Nielsen BookData」 より