Buchumschlag

QR-Code

Verification of infinite-state systems with applications to security

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 das erste Tag hinzu!

Buchumschlag

Verification of infinite-state systems with applications to security

Veröffentlicht c2006.

An electronic book accessible through the World Wide Web; click to view

Elektronisch Tagungsbericht E-Book