Security and embedded systems /
Security and embedded systems /
edited by Dimitrios N. Serpanos and Ran Giladi
- Amsterdam : IOS Press, 2006
- 203 p. : ill. ; 25 cm.
- NATO security through science series. D, Information and communication security ; vol. 2 .
Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timasoara, Romania, March 17-22, 2005
1586035800
Embedded computer systems--Security measures--Congresses
Computer security--Congresses
Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timasoara, Romania, March 17-22, 2005
1586035800
Embedded computer systems--Security measures--Congresses
Computer security--Congresses