Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
1st Edition 2021, 2021
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings
1st ed. 2020., 2020
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6. 1 International Conference, FORTE 2020, Held As Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings
1, 2020
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Parameter-Independent Strategies for pMDPs via POMDPs
Quantitative Evaluation of Systems, 2018, Vol.11024, p.53-70
2018
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Dynamic Reductions for Model Checking Concurrent Software
Verification, Model Checking, and Abstract Interpretation, 2017, Vol.10145, p.246-265
2017
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The Marriage Between Safety and Cybersecurity: Still Practicing
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Probabilistic Model Checking of Randomized Java Code
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Model-Checked I2C Specification
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Spotlight Abstraction in Model Checking Real-Time Task Schedulability
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Tool Papers
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
PatEC: Pattern-Based Equivalence Checking
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Intro
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Verifying Pipeline Implementations in OpenMP
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Model Checking
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Organization
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Case Studies
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Invited Talks
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Go2Pins: A Framework for the LTL Verification of Go Programs
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Hands-On Introduction to Spatial Model Checking Using VoxLogicA
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Accelerating the Computation of Dead and Concurrent Places Using Reductions
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory
Formal Techniques for Distributed Objects, Components, and Systems, 2020, Vol.12136
2020
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Short Paper
Formal Techniques for Distributed Objects, Components, and Systems, 2020, Vol.12136
2020
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Conformance-Based Doping Detection for Cyber-Physical Systems
Formal Techniques for Distributed Objects, Components, and Systems, 2020, Vol.12136
2020
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Towards Bridging Time and Causal Reversibility
Formal Techniques for Distributed Objects, Components, and Systems, 2020, Vol.12136
2020
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 42
Suche als RSS-Feed
Aktive Filter
KollektionSpringer Books
Suchergebnisse filtern
Filter anzeigen