Verification of infinite-state systems with applications to security /
Verification of infinite-state systems with applications to security /
edited by Edmund Clarke, Marius Minea and Ferucio Laurentiu Tiplea
- Amsterdam : IOS Press, 2006
- 235 p. : ill. ; 25 cm.
- NATO security through science series. D, Information and communication security ; vol. 1 .
Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timasoara, Romania, March 17-22, 2005
1586035703
System theory--Mathematical models--Congresses
System theory--Security measures--Congresses
Computer security--Congresses
Computer software--Verification--Congresses
Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timasoara, Romania, March 17-22, 2005
1586035703
System theory--Mathematical models--Congresses
System theory--Security measures--Congresses
Computer security--Congresses
Computer software--Verification--Congresses