Verification of infinite-state systems with applications to security

Shranjeno v:

Bibliografske podrobnosti
Corporate Authors:	NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timaşoara, Romania, ebrary, Inc
Drugi avtorji:	Clarke, Edmund, Minea, Marius, Ţiplea, Ferucio Laurenţiu
Format:	Elektronski Conference Proceeding eKnjiga
Jezik:	angleščina
Izdano:	Amsterdam ; Washington, D.C. : IOS Press, c2006.
Serija:	NATO security through science series. Information and communication security ; v. 1.
Teme:	System theory > Mathematical models > Congresses. System theory > Security measures > Congresses. Computer security > Congresses. Computer software > Verification > Congresses. Electronic books.
Online dostop:	An electronic book accessible through the World Wide Web; click to view
Oznake:	Označite Brez oznak, prvi označite!

Internet