The QuantUM approach in the context of the ISO Standard 26262 for automotive systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Technical Report, Chair for Software Engineering, University of Konstanz ; soft-14-02
- 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-opus-131130
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:44 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)
QuantUM : Quantitative Safety Analysis of UML Models
K∗: A Directed On-The-Fly Algorithm for Finding the k Shortest Paths
Analysis of an Airport Surveillance Radar using the QuantUM approach
On the semantics of message sequence charts
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
Four Issues Concerning the Semantics of Message Flow Graphs
On Parallelising and Optimising the Implementation of Communication Protocols
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
K* : heuristics-guided, on-the-fly k shortest paths search
QuantUM : Quantitative Safety Analysis of UML Models
K∗: A Directed On-The-Fly Algorithm for Finding the k Shortest Paths
Analysis of an Airport Surveillance Radar using the QuantUM approach
On the semantics of message sequence charts
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
Four Issues Concerning the Semantics of Message Flow Graphs
On Parallelising and Optimising the Implementation of Communication Protocols
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking
K* : heuristics-guided, on-the-fly k shortest paths search
QuantUM : Quantitative Safety Analysis of UML Models
K∗: A Directed On-The-Fly Algorithm for Finding the k Shortest Paths
Analysis of an Airport Surveillance Radar using the QuantUM approach
On the semantics of message sequence charts
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
Four Issues Concerning the Semantics of Message Flow Graphs
On Parallelising and Optimising the Implementation of Communication Protocols
On the synergy of probabilistic causality computation and causality checking
On the Synergy of Probabilistic Causality Computation and Causality Checking