The QuantUM approach in the context of the ISO Standard 26262 for automotive systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Technical Report, Chair for Software Engineering, University of Konstanz ; soft-14-02
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
Bibliothek der Universität Konstanz
- (wann)
-
2011
- Urheber
-
Leitner-Fischer, Florian
Leue, Stefan
- URN
-
urn:nbn:de:bsz:352-opus-131130
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:44 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
- Leitner-Fischer, Florian
- Leue, Stefan
- Bibliothek der Universität Konstanz
Entstanden
- 2011
Ähnliche Objekte (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