検索結果 1 件
紙図書
国立国会図書館
- LC control number2005937272
- 件名...stem theory -- Security measures -- Co......sses. Computer security -- Congresses. Computer software -- Verification -- Congresses. Infinite-state systems. Security. VISSAS.
- 著者標目Institute 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)
検索結果は以上です。