- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Model Checking Software / Bartocci, Ezio; Ramakrishnan, C. R. (Hrsg.). - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. - (Lecture Notes in Computer Science ; 7976). - S. 264-281. - ISBN 978-3-642-39175-0
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
Bibliothek der Universität Konstanz
- (wann)
-
2013
- Urheber
-
Leue, Stefan
Tabaei Befrouei, Mitra
- URN
-
urn:nbn:de:bsz:352-243913
- 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
- Leue, Stefan
- Tabaei Befrouei, Mitra
- Bibliothek der Universität Konstanz
Entstanden
- 2013
Ähnliche Objekte (12)
MESA : Support for Scenario-Based Design of Concurrent Systems
Extending non-termination proof techniques to asynchronously communicating concurrent programs
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Methods and semantics for telecommunications systems engineering
QoS Specification Based on SDL/MSC and Temporal Logic
Discriminative Pattern Mining in Software Fault Detection
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
Counterexamples for Model Checking of Markov Decision Processes
Explicit state model checking in the development process for interlocking software systems
MESA : Support for Scenario-Based Design of Concurrent Systems
Extending non-termination proof techniques to asynchronously communicating concurrent programs
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Methods and semantics for telecommunications systems engineering
QoS Specification Based on SDL/MSC and Temporal Logic
Discriminative Pattern Mining in Software Fault Detection
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
Counterexamples for Model Checking of Markov Decision Processes
Explicit state model checking in the development process for interlocking software systems
MESA : Support for Scenario-Based Design of Concurrent Systems
Extending non-termination proof techniques to asynchronously communicating concurrent programs
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Methods and semantics for telecommunications systems engineering
QoS Specification Based on SDL/MSC and Temporal Logic
Discriminative Pattern Mining in Software Fault Detection
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
Counterexamples for Model Checking of Markov Decision Processes