Imatge de la portada
Codi QR

Verification of infinite-state systems with applications to security

Guardat en:
Autor corporatiu: NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timaşoara, Romania, ebrary, Inc
Altres autors: Clarke, Edmund, Minea, Marius, Ţiplea, Ferucio Laurenţiu
Format: Electrònic Actes de congresos eBook
Idioma:anglès
Publicat: Amsterdam ; Washington, D.C. : IOS Press, c2006.
Col·lecció:NATO security through science series. Information and communication security ; v. 1.
Matèries:
System theory > Mathematical models > Congresses.
System theory > Security measures > Congresses.
Computer security > Congresses.
Computer software > Verification > Congresses.
Electronic books.
Accés en línia:An electronic book accessible through the World Wide Web; click to view
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
Descripció de l’ítem:Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005.
Descripció física:vii, 235 p. : ill.
Bibliografia:Includes bibliographical references and author index.

Ítems similars