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 .
<br/><br/> Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timasoara, Romania, March 17-22, 2005 
<br/><br/><label>ISBN: </label>1586035800 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Embedded computer systems--Security measures--Congresses<br/>Computer security--Congresses