Stochastic Model Checking of Socio- Technical Models

Research output

Research output per year 2017 2017

• 1 Ph.D. thesis

Research output per year

Research output per year

Search results

• 2017

  Formal Analysis of Graphical Security Models

  Aslanyan, Z., 2017, Kgs. Lyngby: Technical University of Denmark. 208 p. (DTU Compute PHD-2016; No. 421).

  Research output: Book/Report › Ph.D. thesis › Research

  Open Access

  File

  • Formal verification
  • Stochastic models
  • Decision making
  • Semantics
  • Set theory
  653 Downloads (Pure)