Home Publications

A Formal Analysis Technique for Secure Software Architectures (Een formele analysetechniek voor veilige softwarearchitecturen)

Research Area: Uncategorized Year: 2013
Type of Publication: Phd Thesis
Authors:
  • Heyman, Thomas
BibTex:
Note:
partner: KUL; project: NESSoS; tier: NoTier"; citations: 1
[Bibtex]