Omslagsbild

Verification of infinite-state systems with applications to security

Sparad:
Institutionella upphov: NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timaşoara, Romania, ebrary, Inc
Övriga upphov: Clarke, Edmund, Minea, Marius, Ţiplea, Ferucio Laurenţiu
Materialtyp: Elektronisk Konferenspublikation E-bok
Språk:engelska
Utgiven: Amsterdam ; Washington, D.C. : IOS Press, c2006.
Serie:NATO security through science series. Information and communication security ; v. 1.
Ämnen:
System theory > Mathematical models > Congresses.
System theory > Security measures > Congresses.
Computer security > Congresses.
Computer software > Verification > Congresses.
Electronic books.
Länkar:An electronic book accessible through the World Wide Web; click to view
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!

Internet

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

Liknande verk