Sortiert nach
International journal on software tools for technology transfer, 2021-12, Vol.23 (6), p.847-851
2021
Link zum Volltext
International journal on software tools for technology transfer, 2021-06, Vol.23 (3), p.313-333
2021
Link zum Volltext
IEEE access, 2021, Vol.9, p.160559-160579
2021
Link zum Volltext
Science of computer programming, 2024-01, Vol.232, p.103055, Article 103055
2024
Link zum Volltext
Integrated Formal Methods, p.63-85
Link zum Volltext
Tests and Proofs, p.3-8
Link zum Volltext
Model Checking Software, p.120-139
Link zum Volltext
Automated software engineering, 2020-06, Vol.27 (1-2), p.153-186
2020
Link zum Volltext
ACM transactions on programming languages and systems, 2017-06, Vol.39 (2), p.1-56, Article 7
2017
Link zum Volltext
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.1182-1193
2018
- Link zum Volltext
Model Checking Software, p.81-98
Link zum Volltext
Integrated Formal Methods, p.40-61
Link zum Volltext
Fundamental Approaches to Software Engineering, p.100-114
Link zum Volltext
Software Engineering and Formal Methods, p.159-174
Link zum Volltext
IEEE embedded systems letters, 2018-03, Vol.10 (1), p.22-25
2018
- Link zum Volltext
Tests and Proofs, p.3-20
Link zum Volltext
Software Engineering and Formal Methods, p.145-164
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, p.72-92
Link zum Volltext
Software Engineering and Formal Methods, 2020, Vol.12310, p.133-154
2020
Link zum Volltext
Software Engineering and Formal Methods, 2020, Vol.12310, p.113-132
2020
Link zum Volltext
Integrated Formal Methods, p.307-322
Link zum Volltext
NASA Formal Methods, 2017, Vol.10227, p.389-403
2017
Link zum Volltext
Testing Software and Systems, 2018, Vol.11146, p.39-55
2018
Link zum Volltext
Proceedings of the 2014 International SPIN Symposium on model checking of software, 2014, p.30-39
2014
Link zum Volltext
Proceedings of the 30th Annual ACM Symposium on applied computing, 2015, p.1729-1736
2015
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Software
- Verification
- Software Engineering
- Software Verification
- Theory Of Computation
- Abstract Interpretation
- Computer Science, Hardware & Architecture
- Life Sciences & Biomedicine
- Model Checking
- Program Analysis
- Program Verification
- Software Engineering/programming And Operating Systems
- Algorithms
- Computer Science, Interdisciplinary Applications
- Conditional Model Checking
Kollektion
- IngentaConnect
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- ACM Digital Library (Association for Computing Machinery)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer journals
- EZB Electronic Journals Library
- IEEE Xplore
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- EBSCOhost Business Source Ultimate
- Ovid SocietyJournals and Single Titles
Zeitschrift / Serie
Neu hinzugefügt