Formal Analysis of Graphical Security Models

Zaruhi Aslanyan

Research output: Book/ReportPh.D. thesisResearch

611 Downloads (Pure)

Projects

Filter
Finished
Finished

Stochastic Model Checking of Socio- Technical Models

Aslanyan, Z., Nielson, F., Probst, C. W., Lluch Lafuente, A., Hansen, R. R. & Legay, A.

1/3 FUU, 1/3 inst 1/3 Andet

01/07/201323/11/2016

Project: PhD