Search Results - Stolen, Ketil

  • Showing 1 – 19 results of 19
Filter by
  1. 1
    Cover Image

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

    Published 1995
    Table of Contents
    Book


    Saved in:
  2. 2
    Cover Image

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

    Published 1995
    Book


    Saved in:
  3. 3
    Cover Image

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

    Published 1995
    Book


    Saved in:
  4. 4
    Cover Image

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

    Published 1994
    Book


    Saved in:
  5. 5
    Cover Image

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

    Published 2011
    Table of Contents
    Book


    Saved in:
  6. 6
    Cover Image

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

    Published 2001
    Read online (freely available)
    Table of Contents
    Book


    Saved in:
  7. 7
    Cover Image

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

    Published 1995
    Book


    Saved in:
  8. 8
    Cover Image

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

    Published 1996
    Book


    Saved in:
  9. 9
    Cover Image

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

    Published 1994
    Book


    Saved in:
  10. 10
    Cover Image

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

    Published 1994
    Book


    Saved in:
  11. 11
    Cover Image

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

    Published 1993
    Table of Contents
    Book


    Saved in:
  12. 12
    Cover Image

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

    Published 1993
    Book


    Saved in:
  13. 13
    Cover Image

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

    Published 2015
    Table of Contents
    Read online (LMU)

    Available at the library of LMU.

    Read online (HM)

    Available at the library of Hochschule Munich University of Applied Sciences (HM).

    Order via interlibrary loan
    Electronic eBook


    Saved in:
  14. 14
    Cover Image

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

    Published 2011
    Read online (LMU)

    Available at the library of LMU.

    Read online (HM)

    Available at the library of Hochschule Munich University of Applied Sciences (HM).

    Order via interlibrary loan
    Electronic eBook


    Saved in:
  15. 15
    Cover Image

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

    Published 2023
    Read online (LMU)

    Available at the library of LMU.

    Read online (HM)

    Available at the library of Hochschule Munich University of Applied Sciences (HM).

    Order via interlibrary loan
    Electronic eBook


    Saved in:
  16. 16
    Cover Image

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

    Published 2001
    Order via interlibrary loan
    Book


    Saved in:
  17. 17
    Cover Image

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

    Published 2015
    Order via interlibrary loan
    Book


    Saved in:
  18. 18
    Cover Image

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

    Published 2001
    Order via interlibrary loan
    Electronic eBook


    Saved in:
  19. 19
    Cover Image

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

    Published 2018
    Other Authors: “…Stolen, Ketil…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:

Search Tools: