Verification of infinite-state systems with applications to security /
by Clarke, Edmund; Minea, Marius; Ţiplea, Ferucio Laurenţiu; NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timaşoara, Romania).
Material type:
BookSeries: NATO security through science series. vol. 1DInformation and communication security. Publisher: Amsterdam ; Washington, D.C. : IOS Press, c2006Description: vii, 235 p. : ill. ; 25 cm.ISBN: 1586035703.Subject(s): System theory -- Mathematical models -- Congresses | System theory -- Security measures -- Congresses | Computer security -- Congresses | Computer software -- Verification. -- Congresses
| Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Dhaka University Science Library General Stacks | Non Fiction | 005.8 VER (Browse shelf) | 1 | Available | 477724 |
Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005.
Includes bibliographical references and author index.
There are no comments for this item.