- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Electronic Proceedings in Theoretical Computer Science ; 57 (2011). - S. 16-30. - ISSN 2075-2180
In: 9th Workshop on Quantitative Aspects of Programming Languages (QAPL'11), 1. Apr 2011 - 3. Apr 2011, Saarbrücken, Germany
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
Bibliothek der Universität Konstanz
- (when)
-
2011
- Creator
-
Leitner-Fischer, Florian
Leue, Stefan
- URN
-
urn:nbn:de:bsz:352-139839
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:47 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
- Leitner-Fischer, Florian
- Leue, Stefan
- Bibliothek der Universität Konstanz
Time of origin
- 2011
Other Objects (12)
The QuantUM approach in the context of the ISO Standard 26262 for automotive systems
Automated Functional Safety Analysis of Automated Driving Systems
Analysis of an Airport Surveillance Radar using the QuantUM approach
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
QoS Specification Based on SDL/MSC and Temporal Logic
Methods and semantics for telecommunications systems engineering
A Scalable Incomplete Test for the Boundedness of UML RT Models
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT
Model-Based Quantitative Safety Analysis of Matlab Simulink
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
The QuantUM approach in the context of the ISO Standard 26262 for automotive systems
Automated Functional Safety Analysis of Automated Driving Systems
Analysis of an Airport Surveillance Radar using the QuantUM approach
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
QoS Specification Based on SDL/MSC and Temporal Logic
Methods and semantics for telecommunications systems engineering
A Scalable Incomplete Test for the Boundedness of UML RT Models
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT
Model-Based Quantitative Safety Analysis of Matlab Simulink
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
The QuantUM approach in the context of the ISO Standard 26262 for automotive systems
Automated Functional Safety Analysis of Automated Driving Systems
Analysis of an Airport Surveillance Radar using the QuantUM approach
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
QoS Specification Based on SDL/MSC and Temporal Logic
Methods and semantics for telecommunications systems engineering
A Scalable Incomplete Test for the Boundedness of UML RT Models
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT
Model-Based Quantitative Safety Analysis of Matlab Simulink
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Interpreting Message Flow Graphs