01137nam a2200253 a 4500 vtls000030076 KUKTEM 20251117145136.0 080709t2006 ne f 100 0 eng|d 1586035800 201107132029 VLOAD 200908141457 VLOAD 200908141428 VLOAD 200908131804 VLOAD 200807090935 kam UMP TK7895.E42 S43 2006 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 Embedded computer systems Security measures Congresses Computer security Congresses Serpanos, Dimitrios Giladi, Ran 0 0 0 0 20000 20000 2019-09-04 0 TK7895.E42 S43 2006 0000027408 2019-09-04 00:00:00 1 2019-09-04 OPEN VIRTUA40 40206 40212 VTLSSORT0080*0200*0400*0900*2450*2600*3000*4400*5000*6500*6501*7000*7001*9991