封面圖片
QR Code

Verification of infinite-state systems with applications to security

Saved in:
Corporate Authors: NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timaşoara, Romania, ebrary, Inc
其他作者: Clarke, Edmund, Minea, Marius, Ţiplea, Ferucio Laurenţiu
格式: 電子 Conference Proceeding 電子書
語言:英语
出版: Amsterdam ; Washington, D.C. : IOS Press, c2006.
叢編:NATO security through science series. Information and communication security ; v. 1.
主題:
System theory > Mathematical models > Congresses.
System theory > Security measures > Congresses.
Computer security > Congresses.
Computer software > Verification > Congresses.
Electronic books.
在線閱讀:An electronic book accessible through the World Wide Web; click to view
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!
Item Description:Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005.
實物描述:vii, 235 p. : ill.
參考書目:Includes bibliographical references and author index.

相似書籍