EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

719 Integration of Analysis Techniques in Security and Fault-Tolerance

Home Policy Brochure Browse Search User Area Contact Help

Lenzini, G. (2005) Integration of Analysis Techniques in Security and Fault-Tolerance. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 05-70 ISBN 90-365-2200-5

Full text available as:

PDF

- Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
1225 Kb

Item Type:	PhD Thesis
Supervisors:	Hartel, P.H. and Brinksma, H.
Assistant Supervisors:	Etalle, S.
Research Group:	EWI-DIES: Distributed and Embedded Security, EWI-FMT: Formal Methods and Tools
Research Program:	CTIT-ISTRICE: Integrated Security and Privacy in a Networked World
Additional Information:	Imported from DIES
ID Code:	719
Deposited On:	12 December 2005
Refereed:	Yes
More Information:	statistics metis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item