Holdings: Verification of infinite-state systems with applications to security /

Corporate Author:	NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timișoara, Romania)
Other Authors:	Minea, Marius.
Format:	Book
Language:	English
Published:	Amsterdam ; Washington, D.C. : IOS Press, ©2006.
Series:	NATO security through science series. D : Information and communication security ; vol. 1
Subjects:	System theory > Mathematical models System theory > Security measures Computer security Computer software > Verification System theory > Mathematical models. System theory > Security measures. Computer security. Computer software > Verification. COMPUTERS > Internet > Security. COMPUTERS > Networking > Security. COMPUTERS > Security
Online Access:	http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=164059

Βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός Αντιτύπων	Πληροφορίες	Κατάσταση
Πανεπιστήμιο Κύπρου - Ανοιχτό Πανεπιστήμιο Κύπρου	-	1	Προβολή	OPAC