- Language
-
Englisch
- Identifier
-
1112336583
- Contributor
-
Leue, Stefan
- URN
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
26.01.2023, 1:53 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Monografie
Associated
- Leue, Stefan
Other Objects (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