Monografie
An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces
- Sprache
-
Englisch
- Identifier
-
1267251549
- Beteiligte Personen und Organisationen
-
Kölbl, Martin
Leue, Stefan
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
27.10.2022, 11:05 MESZ
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
- Kölbl, Martin
- Leue, Stefan
Ähnliche Objekte (12)
Methods and semantics for telecommunications systems engineering
QoS Specification Based on SDL/MSC and Temporal Logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
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
Mining sequential patterns to explain concurrent counterexamples
Introductory paper : [zu: Special section on the algorithmics of software model checking]
On the synergy of probabilistic causality computation and causality checking
SpinCause : A Tool for Causality Checking
From SDL specifications to optimized parallel protocol implementations
Methods and semantics for telecommunications systems engineering
QoS Specification Based on SDL/MSC and Temporal Logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
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
Mining sequential patterns to explain concurrent counterexamples
Introductory paper : [zu: Special section on the algorithmics of software model checking]
On the synergy of probabilistic causality computation and causality checking
SpinCause : A Tool for Causality Checking
From SDL specifications to optimized parallel protocol implementations
Methods and semantics for telecommunications systems engineering
QoS Specification Based on SDL/MSC and Temporal Logic
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
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
Mining sequential patterns to explain concurrent counterexamples
Introductory paper : [zu: Special section on the algorithmics of software model checking]
On the synergy of probabilistic causality computation and causality checking
SpinCause : A Tool for Causality Checking