- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: MBEES 2013 : Tagungsband des Dagstuhl-Workshops ; Modellbasierte Entwicklung eingebetteter Systeme IX ; Model-Based Development of Embedded Systems ; 24.04.2013 - 26.04.2013 / Giese, Holger et al. (Hrsg.). - München : fortiss, 2013. - S. 60-69
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
Bibliothek der Universität Konstanz
- (wann)
-
2013
- Urheber
-
Beer, Adrian
Georgiev, Todor
Leitner-Fischer, Florian
Leue, Stefan
- URN
-
urn:nbn:de:bsz:352-244936
- 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
- Beer, Adrian
- Georgiev, Todor
- Leitner-Fischer, Florian
- Leue, Stefan
- Bibliothek der Universität Konstanz
Entstanden
- 2013
Ähnliche Objekte (12)
Simulink Design Verifier vs. SPIN : a comparative case study
Automated Functional Safety Analysis of Automated Driving Systems
QuantUM : Quantitative Safety Analysis of UML Models
Methods and semantics for telecommunications systems engineering
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
QoS Specification Based on SDL/MSC and Temporal Logic
MATLAB und SIMULINK, Buch.
Matlab und Simulink : grundlegende Einführung
On the Synergy of Probabilistic Causality Computation and Causality Checking
Optimization techniques for parallel protocol implementation
Formalizations and Algorithms for Optimized Parallel Protocol Implementation
Syntactic Analysis of Message Sequence Chart Specifications
Simulink Design Verifier vs. SPIN : a comparative case study
Automated Functional Safety Analysis of Automated Driving Systems
QuantUM : Quantitative Safety Analysis of UML Models
Methods and semantics for telecommunications systems engineering
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
QoS Specification Based on SDL/MSC and Temporal Logic
MATLAB und SIMULINK, Buch.
Matlab und Simulink : grundlegende Einführung
On the Synergy of Probabilistic Causality Computation and Causality Checking
Optimization techniques for parallel protocol implementation
Formalizations and Algorithms for Optimized Parallel Protocol Implementation
Syntactic Analysis of Message Sequence Chart Specifications
Simulink Design Verifier vs. SPIN : a comparative case study
Automated Functional Safety Analysis of Automated Driving Systems
QuantUM : Quantitative Safety Analysis of UML Models
Methods and semantics for telecommunications systems engineering
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
QoS Specification Based on SDL/MSC and Temporal Logic
MATLAB und SIMULINK, Buch.
Matlab und Simulink : grundlegende Einführung
On the Synergy of Probabilistic Causality Computation and Causality Checking
Optimization techniques for parallel protocol implementation
Formalizations and Algorithms for Optimized Parallel Protocol Implementation