Suchergebnisse - Stølen, Ketil
-
1A denotational model for mobile point-to-point dataflow networksVeröffentlicht 1995Inhaltsverzeichnis
Buch -
2
-
3Refinement principles supporting the transition from asynchronous to synchronous communicationVeröffentlicht 1995Buch
-
4A refinement relation supporting the transition from unbounded to bounded communication buffersVeröffentlicht 1994Buch
-
5
-
6
-
7Assumption/commitment rules for data-flow networks: with an emphasis on completenessVeröffentlicht 1995Buch
-
8
-
9Specification and refinement of finite dataflow networks: a relational approachVeröffentlicht 1994Buch
-
10An attempt to embed a restricted version of SDL as a target language in focusVeröffentlicht 1994Buch
-
11Assumption commitment rules for networks of asynchronously communicating agentsVeröffentlicht 1993Inhaltsverzeichnis
Buch -
12
-
13Cyber-risk managementVeröffentlicht 2015Inhaltsverzeichnis
Online lesen (LMU)
In der Bibliothek der LMU nutzbar.
Online lesen (HM)
In der Bibliothek der Hochschule München (HM) nutzbar.
Per Fernleihe bestellenElektronisch E-Book -
14Model-Driven Risk Analysis: the CORAS ApproachVeröffentlicht 2011Online lesen (LMU)
In der Bibliothek der LMU nutzbar.
Online lesen (HM)
In der Bibliothek der Hochschule München (HM) nutzbar.
Per Fernleihe bestellenElektronisch E-Book -
15Technology Research Explained: Design of Software, Architectures, Methods, and Technology in GeneralVeröffentlicht 2023Online lesen (LMU)
In der Bibliothek der LMU nutzbar.
Online lesen (HM)
In der Bibliothek der Hochschule München (HM) nutzbar.
Per Fernleihe bestellenElektronisch E-Book -
16
-
17
-
18Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and RefinementVeröffentlicht 2001Per Fernleihe bestellenElektronisch E-Book
-
19Graphical models for security: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017 : revised selected papersVeröffentlicht 2018Weitere beteiligte Personen: “… Stolen, Ketil …”
Online lesen
Elektronisch Tagungsbericht E-Book