Suchergebnisse - Stølen, Ketil
- Treffer 1 – 19 von 19
-
1A denotational model for mobile point-to-point dataflow networksVeröffentlicht 1995Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch Wird geladen … -
2A formal method for hardware/software co-designVeröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3Refinement principles supporting the transition from asynchronous to synchronous communicationVeröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
4A refinement relation supporting the transition from unbounded to bounded communication buffersVeröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5Model-driven risk analysis: the CORAS approachVeröffentlicht 2011Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch Wird geladen … -
6Specification and development of interactive systems: focus on streams, interfaces and refinementVeröffentlicht 2001Signatur: Wird geladen …Online lesen (frei zugänglich)
Standort: Wird geladen …
Inhaltsverzeichnis
Buch Wird geladen … -
7Assumption/commitment rules for data-flow networks: with an emphasis on completenessVeröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
8A denotational model for mobile many-to-many data-flow networksVeröffentlicht 1996Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
9Specification and refinement of finite dataflow networks: a relational approachVeröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10An attempt to embed a restricted version of SDL as a target language in focusVeröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
11Assumption commitment rules for networks of asynchronously communicating agentsVeröffentlicht 1993Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch Wird geladen … -
12Development of a distributed min max componentVeröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
13Cyber-risk managementVeröffentlicht 2015Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
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 Wird geladen … -
14Model-Driven Risk Analysis: the CORAS ApproachVeröffentlicht 2011Signatur: Wird geladen …Online lesen (LMU)
Standort: Wird geladen …
In der Bibliothek der LMU nutzbar.
Online lesen (HM)
In der Bibliothek der Hochschule München (HM) nutzbar.
Per Fernleihe bestellenElektronisch E-Book Wird geladen … -
15Technology Research Explained: Design of Software, Architectures, Methods, and Technology in GeneralVeröffentlicht 2023Signatur: Wird geladen …Online lesen (LMU)
Standort: Wird geladen …
In der Bibliothek der LMU nutzbar.
Online lesen (HM)
In der Bibliothek der Hochschule München (HM) nutzbar.
Per Fernleihe bestellenElektronisch E-Book Wird geladen … -
16Specification and development of interactive systems: focus on streams, interfaces and refinementVeröffentlicht 2001Signatur: Wird geladen …Per Fernleihe bestellen
Standort: Wird geladen …Buch Wird geladen … -
17Cyber-risk managementVeröffentlicht 2015Signatur: Wird geladen …Per Fernleihe bestellen
Standort: Wird geladen …Buch Wird geladen … -
18Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and RefinementVeröffentlicht 2001Signatur: Wird geladen …Per Fernleihe bestellen
Standort: Wird geladen …Elektronisch E-Book Wird geladen … -
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 …”
Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book Wird geladen …