- Sprache
-
Englisch
- Identifier
-
1112336583
- Beteiligte Personen und Organisationen
-
Leue, Stefan
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:53 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Monografie
Beteiligte
- Leue, Stefan
Ähnliche Objekte (12)
QoS Specification Based on SDL/MSC and Temporal Logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
On the semantics of message sequence charts
Four Issues Concerning the Semantics of Message Flow Graphs
Comments on a Proposed Semantics for Basic Message Sequence Charts
Formal methods for broadband and multimedia systems
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces
On Parallelising and Optimising the Implementation of Communication Protocols
K∗: A Directed On-The-Fly Algorithm for Finding the k Shortest Paths
Causality checking for complex system models
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
QoS Specification Based on SDL/MSC and Temporal Logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
On the semantics of message sequence charts
Four Issues Concerning the Semantics of Message Flow Graphs
Comments on a Proposed Semantics for Basic Message Sequence Charts
Formal methods for broadband and multimedia systems
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces
On Parallelising and Optimising the Implementation of Communication Protocols
K∗: A Directed On-The-Fly Algorithm for Finding the k Shortest Paths
Causality checking for complex system models
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
QoS Specification Based on SDL/MSC and Temporal Logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
On the semantics of message sequence charts
Four Issues Concerning the Semantics of Message Flow Graphs
Comments on a Proposed Semantics for Basic Message Sequence Charts
Formal methods for broadband and multimedia systems
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces
On Parallelising and Optimising the Implementation of Communication Protocols
K∗: A Directed On-The-Fly Algorithm for Finding the k Shortest Paths
Causality checking for complex system models