8 results
-
-
Articles Challenges for Risk and Security Modelling in Enterprise Architecture
Grov, Gudmund; Mancini, Federico; Mestl, Elsie Margrethe. Challenges for Risk and Security Modelling in Enterprise Architecture. Lecture Notes in Business Information Processing 2019 ;Volum 369. s. 215-225
-
Rapporter Kan resonnering rundt sikkerhetsarkitektur automatiseres? – en studie i sikkerhetsattributter og automatisk resonnering
-
Articles Automating Event-B invariant proofs by rippling and proof patching
Lin, Yuhui; Bundy, Alan; Grov, Gudmund; Maclean, Ewen. Automating Event-B invariant proofs by rippling and proof patching. Formal Aspects of Computing 2019 s. 1-35
-
Rapporter Rammeverk for framdriftsvurderinger knyttet til norsk støtte i Faryab-provinsen i Afghanistan
-
Rapporter Hierarchic Assessment Tool (HAT) : a tool for monitoring status in campaign assessment
-
Rapporter Trace determination of sulphur mustard and related compounds in environmental samples by headspace-trap GC-MS
-
Rapporter Noen lærdommer fra en modellerings- og simuleringsaktivitet i prosjekt 795 "Nye fregatter"