Showing 1 - 19 results of 19 for search 'Stolen, Ketil', query time: 0.06s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Technology Research Explained Design of Software, Architectures, Methods, and Technology in General

    Technology Research Explained Design of Software, Architectures, Methods, and Technology in General by Stølen, Ketil

    Published 2023
    Get full text
    Electronic eBook


    Saved in:
  2. 2
    Cyber-risk management

    Cyber-risk management by Refsdal, Atle, Solhaug, Bjørnar, Stølen, Ketil

    Published 2015

    Get full text Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  3. 3
    Specification and development of interactive systems focus on streams, interfaces and refinement

    Specification and development of interactive systems focus on streams, interfaces and refinement by Broy, Manfred 1949-, Stølen, Ketil

    Published 2001
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    A denotational model for mobile point-to-point dataflow networks

    A denotational model for mobile point-to-point dataflow networks by Grosu, Radu, Stølen, Ketil

    Published 1995
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    A formal method for hardware/software co-design

    A formal method for hardware/software co-design by Stølen, Ketil, Fuchs, Max

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Refinement principles supporting the transition from asynchronous to synchronous communication

    Refinement principles supporting the transition from asynchronous to synchronous communication by Stølen, Ketil

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    A refinement relation supporting the transition from unbounded to bounded communication buffers

    A refinement relation supporting the transition from unbounded to bounded communication buffers by Stølen, Ketil

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Model-Driven Risk Analysis the CORAS Approach

    Model-Driven Risk Analysis the CORAS Approach by Lund, Mass Soldal, Solhaug, Bjørnar, Stolen, Ketil

    Published 2011
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  9. 9
    Model-driven risk analysis the CORAS approach

    Model-driven risk analysis the CORAS approach by Lund, Mass Soldal, Solhaug, Bjørnar, Stølen, Ketil

    Published 2011
    Indexes
    Description
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Specification and development of interactive systems focus on streams, interfaces and refinement

    Specification and development of interactive systems focus on streams, interfaces and refinement by Broy, Manfred 1949-, Stølen, Ketil

    Published 2001
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Assumption/commitment rules for data-flow networks with an emphasis on completeness

    Assumption/commitment rules for data-flow networks with an emphasis on completeness by Stølen, Ketil

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    Cyber-risk management

    Cyber-risk management by Refsdal, Atle, Solhaug, Bjørnar, Stølen, Ketil

    Published 2015
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Specification and Development of Interactive Systems Focus on Streams, Interfaces, and Refinement

    Specification and Development of Interactive Systems Focus on Streams, Interfaces, and Refinement by Broy, Manfred, Stølen, Ketil

    Published 2001
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  14. 14
    A denotational model for mobile many-to-many data-flow networks

    A denotational model for mobile many-to-many data-flow networks by Grosu, Radu, Stølen, Ketil

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  15. 15
    Specification and refinement of finite dataflow networks a relational approach

    Specification and refinement of finite dataflow networks a relational approach by Broy, Manfred 1949-, Stølen, Ketil

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  16. 16
    An attempt to embed a restricted version of SDL as a target language in focus

    An attempt to embed a restricted version of SDL as a target language in focus by Holz, Eckhardt, Stølen, Ketil

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  17. 17
    Assumption commitment rules for networks of asynchronously communicating agents

    Assumption commitment rules for networks of asynchronously communicating agents by Stølen, Ketil, Dederichs, Frank, Weber, Rainer

    Published 1993
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  18. 18
    Development of a distributed min max component

    Development of a distributed min max component by Fuchs, Max, Stølen, Ketil

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  19. 19
    Graphical models for security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017 : revised selected papers

    Graphical models for security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017 : revised selected papers

    Published 2018
    Other Authors:

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved in:

Search Tools: