- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Technical Report, Chair for Software Engineering, University of Konstanz ; soft-08-02
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
Bibliothek der Universität Konstanz
- (when)
-
2008
- Creator
- URN
-
urn:nbn:de:bsz:352-opus-57815
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:41 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
- Leue, Stefan
- Ştefănescu, Alin
- Wei, Wei
- Bibliothek der Universität Konstanz
Time of origin
- 2008
Other Objects (12)
Methods and semantics for telecommunications systems engineering
QuantUM : Quantitative Safety Analysis of UML Models
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
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
QoS Specification Based on SDL/MSC and Temporal Logic
A Scalable Incomplete Test for the Boundedness of UML RT Models
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
K<sup>⁎</sup> : A heuristic search algorithm for finding the k shortest paths
Methods and semantics for telecommunications systems engineering
QuantUM : Quantitative Safety Analysis of UML Models
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
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
QoS Specification Based on SDL/MSC and Temporal Logic
A Scalable Incomplete Test for the Boundedness of UML RT Models
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
K<sup>⁎</sup> : A heuristic search algorithm for finding the k shortest paths
Methods and semantics for telecommunications systems engineering
QuantUM : Quantitative Safety Analysis of UML Models
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
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
QoS Specification Based on SDL/MSC and Temporal Logic
A Scalable Incomplete Test for the Boundedness of UML RT Models
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