000 01137nam a2200253 a 4500
001 vtls000030076
003 KUKTEM
005 20251117145136.0
008 080709t2006 ne f 100 0 eng|d
020 _a1586035800
039 9 _a201107132029
_bVLOAD
_c200908141457
_dVLOAD
_c200908141428
_dVLOAD
_c200908131804
_dVLOAD
_y200807090935
_zkam
040 _aUMP
090 _aTK7895.E42 S43 2006
245 1 0 _aSecurity and embedded systems /
_cedited by Dimitrios N. Serpanos and Ran Giladi
260 _aAmsterdam :
_bIOS Press,
_c2006
300 _a203 p. :
_bill. ;
_c25 cm.
440 0 _aNATO security through science series. D, Information and communication security ;
_vvol. 2
500 _aProceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timasoara, Romania, March 17-22, 2005
650 0 _aEmbedded computer systems
_xSecurity measures
_vCongresses
650 0 _aComputer security
_vCongresses
700 1 _aSerpanos, Dimitrios
700 1 _aGiladi, Ran
999 _aVIRTUA40
_c40206
_d40212
999 _aVTLSSORT0080*0200*0400*0900*2450*2600*3000*4400*5000*6500*6501*7000*7001*9991