Hopp til treffliste
Hopp til hovedmeny
Depotbiblioteket
Logg inn
Søk
Vis filter / sortering
Biblioteket
Vis søkeresultat
Nullstill filter
·
Vis kun ledige titler
Søk kun i bestemt felt
Søk i alle felt
Tittel
Ord i tittel
Forfatter/Medvirkende
Emne/Omtalt
ISBN
Dewey-nr
Avgrens avdeling
Alle avdelinger
Biblioteket
KLASSESETT
Automatlager
Fra år
Til år
Vis søkeresultat
Del dette søket
Lagre søk
21 treff
Sortering
Relevans (titler likest søkeord først)
Popularitet
Antall stjerner
Utgivelsesår (nyeste først)
Utgivelsesår (eldste først)
Tittel
Tittel (Å - A)
Person
Person (Å - A)
Sortering
Bilde mangler
Familien Stølen fra Jostedal Barna
Stølen, Ketil
Slektshistorie
Bokmål
·
2021
Ikke til utlån
Vis mer
Bilde mangler
Familien Stølen fra Jostedal Lars og Severina
Stølen, Ketil
Slektshistorie
Bokmål
·
2021
Ikke til utlån
Vis mer
Bilde mangler
Familien Stølen fra Jostedal Barnebarna
Stølen, Ketil
Slektshistorie
Bokmål
·
2021
Ikke til utlån
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
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
Vis mer
Bilde mangler
Teknologiforskning - hva er det?
Solheim, Ida
Inngår i serie:
SINTEF rapport (STF90 A06035)
Bok
·
Bokmål
·
2007
Ledig
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
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
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
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
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
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
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
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
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
Vis mer
Bilde mangler
Technology research explained
Solheim, Ida
Inngår i serie:
SINTEF report (SINTEF A313)
Bok
·
Engelsk
·
2007
Ledig
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
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
Vis mer
Bilde mangler
Refining UML interactions with underspecification and nondeterminism
Ragnhild Kobro Runde
Engelsk
Artikkel
Vis mer
Ikke det du leter etter?
Mente du?
Stølen
Støylen
Stølan
Stolen
Ketil
Stallen
Stilen
Stålen
Stolene
Stulen
Søk og bestill fra andre bibliotek:
Biblioteksøk
