- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Automated Technology for Verification and Analysis / Liu, Zhiming; Ravn, Anders P. (Hrsg.). - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - (Lecture Notes in Computer Science ; 5799). - S. 244-254. - ISBN 978-3-642-04760-2
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
Bibliothek der Universität Konstanz
- (when)
-
2010
- Creator
- URN
-
urn:nbn:de:bsz:352-opus-105344
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:54 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.
Associated
- Dax, Christian
- Klaedtke, Felix Christopher
- Leue, Stefan
- Bibliothek der Universität Konstanz
Time of origin
- 2010
Other Objects (12)
QoS Specification Based on SDL/MSC and Temporal Logic
Counterexample Refinement for a Boundedness Test for CFSM Languages
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Methods and semantics for telecommunications systems engineering
Automated Invariant Generation for the Verification of Real-Time Systems
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Interpreting Message Flow Graphs
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract
Four Issues Concerning the Semantics of Message Flow Graphs
K<sup>⁎</sup> : A heuristic search algorithm for finding the k shortest paths
Timing Constraints in Message Sequence Chart Specifications
Integer linear programming-based property checking for asynchronous reactive systems
QoS Specification Based on SDL/MSC and Temporal Logic
Counterexample Refinement for a Boundedness Test for CFSM Languages
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Methods and semantics for telecommunications systems engineering
Automated Invariant Generation for the Verification of Real-Time Systems
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Interpreting Message Flow Graphs
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract
Four Issues Concerning the Semantics of Message Flow Graphs
K<sup>⁎</sup> : A heuristic search algorithm for finding the k shortest paths
Timing Constraints in Message Sequence Chart Specifications
Integer linear programming-based property checking for asynchronous reactive systems
QoS Specification Based on SDL/MSC and Temporal Logic
Counterexample Refinement for a Boundedness Test for CFSM Languages
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Methods and semantics for telecommunications systems engineering
Automated Invariant Generation for the Verification of Real-Time Systems
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Interpreting Message Flow Graphs
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract
Four Issues Concerning the Semantics of Message Flow Graphs
K<sup>⁎</sup> : A heuristic search algorithm for finding the k shortest paths
Timing Constraints in Message Sequence Chart Specifications