Sortiert nach
International journal on software tools for technology transfer, 2020-12, Vol.22 (6), p.759-780
2020
Link zum Volltext
Electronic proceedings in theoretical computer science, 2022, Vol.355, p.1-12
2022
Link zum Volltext
Reasoning Web. Explainable Artificial Intelligence, 2019, Vol.11810, p.250-276
2019
Link zum Volltext
Science of computer programming, 2015-11, Vol.112, p.3-23
2015
Link zum Volltext
ACM transactions on modeling and computer simulation, 2021-07, Vol.31 (3), p.1-34
2021
Link zum Volltext
Comparing Statistical, Analytical, and Learning-Based Routing Approaches for Delay-Tolerant Networks
2024
Link zum Volltext
International journal on software tools for technology transfer, 2015-08, Vol.17 (4), p.429-456
2015
Link zum Volltext
Science of computer programming, 2019-04, Vol.174, p.90-108
2019
Link zum Volltext
Formal methods in system design, 2013-10, Vol.43 (2), p.191-232
2013
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.593-598
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, p.406-432
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, 2019, p.3
2019
Link zum Volltext
Journal of automated reasoning, 2020-10, Vol.64 (7), p.1483-1522
2020
Link zum Volltext
Innovations in systems and software engineering, 2019-09, Vol.15 (3-4), p.207-233
2019
Link zum Volltext
2017 Winter Simulation Conference (WSC), 2017, p.1419-1430
2017
- Link zum Volltext
Quantitative Evaluation of Systems, p.52-69
Link zum Volltext
Automated Technology for Verification and Analysis, p.181-202
Link zum Volltext
Quantitative Evaluation of Systems, p.337-355
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.151-168
Link zum Volltext
Automated Technology for Verification and Analysis, 2015, Vol.9364, p.131-147
2015
Link zum Volltext
Information technology (Munich, Germany), 2013-04, Vol.55 (2), p.45-51
2013
Link zum Volltext
Dependable Software Engineering: Theories, Tools, and Applications, 2016, Vol.9984, p.85-100
2016
Link zum Volltext
Integrated Formal Methods, p.99-114
Link zum Volltext
2017 IEEE 15th International Conference on Industrial Informatics (INDIN), 2017, p.109-114
2017
- Link zum Volltext
NASA Formal Methods, 2021, Vol.12673, p.1-18
2021
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Engineering
- Software Engineering
- Computer Science, Interdisciplinary Applications
- Mathematics
- Mathematics, Applied
- Model Check
- Physical Sciences
- Analytical Models
- Computer Science, Artificial Intelligence
- Markov Decision Process
- Automata
- Model Checking
- Operations Research & Management Science
- Probabilistic Model Checking
- Software Engineering/programming And Operating Systems
Kollektion
- Ingenta
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IEEE Xplore
- ACM Digital Library Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink_现刊
- EZB-FREE-00999 freely available EZB journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Elsevier ScienceDirect Journals Complete
- De Gruyter journals
Zeitschrift / Serie
Neu hinzugefügt