- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Model Checking Software : 25th International Symposium : SPIN 2018 : proceedings / del Mar Gallardo, María; Merino, Pedro (Hrsg.). - Cham : Springer, 2018. - (Lecture Notes in Computer Science ; 10869). - S. 255-274. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-319-94110-3
In: 25th International Symposium on Model Checking Software : SPIN 2018, 20. Jun 2018 - 22. Jun 2018, Malaga
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
Bibliothek der Universität Konstanz
- (wann)
-
2018
- Urheber
-
Kölbl, Martin
Leue, Stefan
Singh, Hargurbir
- URN
-
urn:nbn:de:bsz:352-2-fcxzqisum9ld1
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:46 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
- Kölbl, Martin
- Leue, Stefan
- Singh, Hargurbir
- Bibliothek der Universität Konstanz
Entstanden
- 2018
Ähnliche Objekte (12)
SysML to NuSMV Model Transformation via Object-Orientation
Causality checking for complex system models
Causality checking for complex system models
Towards causality checking for complex system models
Counterexamples for Model Checking of Markov Decision Processes
QuantUM : Quantitative Safety Analysis of UML Models
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
Generation of Counterexamples for Model Checking of Markov Decision Processes
Explicit state model checking in the development process for interlocking software systems
Introductory paper : [zu: Special section on the algorithmics of software model checking]
Trail-Directed Model Checking
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
SysML to NuSMV Model Transformation via Object-Orientation
Causality checking for complex system models
Causality checking for complex system models
Towards causality checking for complex system models
Counterexamples for Model Checking of Markov Decision Processes
QuantUM : Quantitative Safety Analysis of UML Models
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
Generation of Counterexamples for Model Checking of Markov Decision Processes
Explicit state model checking in the development process for interlocking software systems
Introductory paper : [zu: Special section on the algorithmics of software model checking]
Trail-Directed Model Checking
Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
SysML to NuSMV Model Transformation via Object-Orientation
Causality checking for complex system models
Causality checking for complex system models
Towards causality checking for complex system models
Counterexamples for Model Checking of Markov Decision Processes
QuantUM : Quantitative Safety Analysis of UML Models
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
Generation of Counterexamples for Model Checking of Markov Decision Processes
Explicit state model checking in the development process for interlocking software systems
Introductory paper : [zu: Special section on the algorithmics of software model checking]
Trail-Directed Model Checking