A denotational model for component-based risk analysis

Brændeland, Gyrd
Engelsk · 2012
Artikkel Vis mer

Naturfag 7

Gjefsen, Bjørn
Bok · Nynorsk · 1992 · Les på nett
Vis mer

Evaluations of the methodology and tool used during the 8th SECURIS field trial

Refsdal, Atle
Inngår i serie: SINTEF report (SINTEF A1532)
Bok · Engelsk · 2007
Vis mer

Specifying computer systems with probabilistic sequence diagrams

Refsdal, Atle
Inngår i serie: Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo (nr. 724)
Bok · Engelsk · 2008
Vis mer