Buchumschlag

Verification of infinite-state systems with applications to security

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Körperschaften: NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timaşoara, Romania, ebrary, Inc
Weitere Verfasser: Clarke, Edmund, Minea, Marius, Ţiplea, Ferucio Laurenţiu
Format: Elektronisch Tagungsbericht E-Book
Sprache:Englisch
Veröffentlicht: Amsterdam ; Washington, D.C. : IOS Press, c2006.
Schriftenreihe:NATO security through science series. Information and communication security ; v. 1.
Schlagworte:
System theory > Mathematical models > Congresses.
System theory > Security measures > Congresses.
Computer security > Congresses.
Computer software > Verification > Congresses.
Electronic books.
Online-Zugang:An electronic book accessible through the World Wide Web; click to view
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005.
Beschreibung:vii, 235 p. : ill.
Bibliographie:Includes bibliographical references and author index.

Ähnliche Einträge