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: |
|
||
BibTex: |
|||
Note: | partner: KUL; project: NESSoS; tier: NoTier"; citations: 1 |
||
[Bibtex] |