Search results 1
Paper図書
National Diet Library
- LC Control Number2005937272
- Subject Heading...stem theory -- Security measures -- Co......sses. Computer security -- Congresses. Computer software -- Verification -- Congresses. Infinite-state systems. Security. VISSAS.
- Author HeadingInstitute e-Austria Timisoara. Clarke, Edmund. Minea, Marius. Ţiplea, Fe......o Laurenţiu. NATO Advanced Resea......ch Workshop on Verification of Infinite-state Systems with Applications to Security (2005 : Timaşoara, Romania)
Reached to the end of result.