- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Tools and Algorithms for the Construction and Analysis of Systems / Hermanns, Holger; Palsberg, Jens (Hrsg.). - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - (Lecture Notes in Computer Science ; 3920). - S. 318-333. - ISBN 978-3-540-33056-1
- Klassifikation
-
Mathematik
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
Bibliothek der Universität Konstanz
- (wann)
-
2013
- Urheber
- URN
-
urn:nbn:de:bsz:352-214578
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:52 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.
Beteiligte
- Leue, Stefan
- Wei, Wei
- Bibliothek der Universität Konstanz
Entstanden
- 2013
Ähnliche Objekte (12)
A Region Graph Based Approach to Termination Proofs
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Interpreting Message Flow Graphs
Extending non-termination proof techniques to asynchronously communicating concurrent programs
Four Issues Concerning the Semantics of Message Flow Graphs
QoS Specification Based on SDL/MSC and Temporal Logic
Methods and semantics for telecommunications systems engineering
The QuantUM approach in the context of the ISO Standard 26262 for automotive systems
Automated termination proofs
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract
K<sup>⁎</sup> : A heuristic search algorithm for finding the k shortest paths
A Region Graph Based Approach to Termination Proofs
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Interpreting Message Flow Graphs
Extending non-termination proof techniques to asynchronously communicating concurrent programs
Four Issues Concerning the Semantics of Message Flow Graphs
QoS Specification Based on SDL/MSC and Temporal Logic
Methods and semantics for telecommunications systems engineering
The QuantUM approach in the context of the ISO Standard 26262 for automotive systems
Automated termination proofs
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract
K<sup>⁎</sup> : A heuristic search algorithm for finding the k shortest paths
A Region Graph Based Approach to Termination Proofs
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Interpreting Message Flow Graphs
Extending non-termination proof techniques to asynchronously communicating concurrent programs
Four Issues Concerning the Semantics of Message Flow Graphs
QoS Specification Based on SDL/MSC and Temporal Logic
Methods and semantics for telecommunications systems engineering
The QuantUM approach in the context of the ISO Standard 26262 for automotive systems
Automated termination proofs
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract