Verification of infinite-state systems with applications to security

Gardado en:

Detalles Bibliográficos
Corporate Authors:	NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timaşoara, Romania, ebrary, Inc
Outros autores:	Clarke, Edmund, Minea, Marius, Ţiplea, Ferucio Laurenţiu
Formato:	Electrónico Conference Proceeding eBook
Idioma:	inglés
Publicado:	Amsterdam ; Washington, D.C. : IOS Press, c2006.
Series:	NATO security through science series. Information and communication security ; v. 1.
Subjects:	System theory > Mathematical models > Congresses. System theory > Security measures > Congresses. Computer security > Congresses. Computer software > Verification > Congresses. Electronic books.
Acceso en liña:	An electronic book accessible through the World Wide Web; click to view
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Internet