Treffer 1 – 19 von 19 für Suche 'Stølen, Ketil', Suchdauer: 0,07s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  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 von Stølen, Ketil

    Veröffentlicht 2023
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Cyber-risk management

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

    Veröffentlicht 2015

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert 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 von Broy, Manfred 1949-, Stølen, Ketil

    Veröffentlicht 2001
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1995
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert 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 von Stølen, Ketil

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 2011
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


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

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

    Veröffentlicht 2011
    Inhaltsverzeichnis
    Beschreibung
    Buch Fernleihe Bestellen


    Gespeichert 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 von Broy, Manfred 1949-, Stølen, Ketil

    Veröffentlicht 2001
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert 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 von Stølen, Ketil

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Cyber-risk management

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

    Veröffentlicht 2015
    Buch Fernleihe Bestellen


    Gespeichert 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 von Broy, Manfred, Stølen, Ketil

    Veröffentlicht 2001
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert 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 von Grosu, Radu, Stølen, Ketil

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert 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 von Holz, Eckhardt, Stølen, Ketil

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1993
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert 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

    Veröffentlicht 2018
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: