Treffliste - Stølen, Ketil - Depotbiblioteket

21 treff

Sortering

Bilde mangler

Familien Stølen fra Jostedal Barna

Stølen, Ketil
Slektshistorie
Bokmål 2021

Ikke til utlån · Har ingen eksemplarer

Vis mer

Bilde mangler

Familien Stølen fra Jostedal Lars og Severina

Stølen, Ketil
Slektshistorie
Bokmål 2021

Ikke til utlån · Har ingen eksemplarer

Vis mer

Bilde mangler

Familien Stølen fra Jostedal Barnebarna

Stølen, Ketil
Slektshistorie
Bokmål 2021

Ikke til utlån · Har ingen eksemplarer

Vis mer

Bilde mangler

Kjetil [i.e. Ketil] Stølen: Teknologivitenskap : forskningsmetode for teknologer

Leikny Gammelmo
Bokmål
Artikkel Vis mer

Teknologivitenskap : forskningsmetode for teknologer

Stølen, Ketil
Bok Bokmål [2019]

Ledig 4/4

Vis mer

Bilde mangler

Structured semantics for the CORAS security risk modelling language

Heidi E.I. Dahl, Ida Hogganvik and Ketil ...
Inngår i serie: SINTEF report (A970)
Bok Bokmål 2007

Ledig 1/1

Vis mer

Bilde mangler

Teknologiforskning - hva er det?

Solheim, Ida
Inngår i serie: SINTEF rapport (STF90 A06035)
Bok Bokmål 2007

Ledig 1/1

Vis mer

Bilde mangler

A denotational model for component-based risk analysis

Brændeland, Gyrd
Engelsk 2012
Artikkel Vis mer

Bilde mangler

A modular approach to the modelling and analysis of risk scenarios with mutual dependencies

Brændeland, Gyrd
Inngår i serie: SINTEF report (SINTEF A8360)
Bok Engelsk 2008

Ledig 1/1

Vis mer

Bilde mangler

Quality evaluation of the CORAS UML profile

Hogganvik, Ida
Inngår i serie: SINTEF report (SINTEF A2199)
Bok Engelsk 2007

Ledig 1/1

Vis mer

Bilde mangler

Information flow property preserving transformation of UML interaction diagrams

Seehusen, Fredrik
Inngår i serie: SINTEF report / SINTEF ICT (STF90 A06030)
Bok Engelsk 2006

Ledig 1/1

Vis mer

Bilde mangler

Maintaining information flow security under refinement andtransformation

Seehusen, Fredrik
Inngår i serie: SINTEF report (SINTEF A311)
Bok Engelsk 2006

Ledig 1/1

Vis mer

Bilde mangler

A method for model-driven information flow security

Seehusen, Fredrik
Inngår i serie: SINTEF report (SINTEF A11357)
Bok Engelsk 2009

Ledig 1/1

Vis mer

Bilde mangler

A transformational approach to facilitate monitoring of high level policies

Seehusen, Fredrik
Inngår i serie: SINTEF report (SINTEF A11356)
Bok Engelsk 2009

Ledig 1/1

Vis mer

Bilde mangler

Compositional refinement of policies in UML - exemplified for access control

Solhaug, Bjørnar
Inngår i serie: SINTEF report (SINTEF A11359)
Bok Engelsk 2009

Ledig 1/1

Vis mer

Bilde mangler

Preservation of policy adherence under refinement

Solhaug, Bjørnar
Inngår i serie: SINTEF report (SINTEF A11358)
Bok Engelsk 2009

Ledig 1/1

Vis mer

Bilde mangler

Specifying policies using UML sequence diagrams : an evaluation based on a case study

Solhaug, Bjørnar
Inngår i serie: SINTEF report (SINTEF A1230)
Bok Engelsk 2007

Ledig 1/1

Vis mer

Bilde mangler

Technology research explained

Solheim, Ida
Inngår i serie: SINTEF report (SINTEF A313)
Bok Engelsk 2007

Ledig 1/1

Vis mer

Bilde mangler

Model-based risk assessment in a component-based software engineering process - using the CORAS approach to identify security risks

Ketil Stølen ... [et al.]
Inngår i serie: IFE/HR/E (2002/021)
Bok Engelsk 2002

Ledig 3/3

Vis mer

Bilde mangler

Model-based risk assessment - the CORAS approach

Ketil Stølen ... [et al.]
Inngår i serie: IFE/HR/E (2002/029)
Bok Engelsk 2002

Ledig 3/3

Vis mer

Bilde mangler

Refining UML interactions with underspecification and nondeterminism

Ragnhild Kobro Runde
Engelsk
Artikkel Vis mer

Søk og bestill fra andre bibliotek: Biblioteksøk