Sortiert nach
Science of computer programming, 2024-01, Vol.232, p.103055, Article 103055
2024
Volltextzugriff (PDF)
IEEE access, 2021, Vol.9, p.160559-160579
2021
Volltextzugriff (PDF)
Integrated Formal Methods, p.63-85
Volltextzugriff (PDF)
Tests and Proofs, p.3-8
Volltextzugriff (PDF)
Model Checking Software, p.120-139
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2017-06, Vol.39 (2), p.1-56, Article 7
2017
Volltextzugriff (PDF)
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.1182-1193
2018
Volltextzugriff (PDF)
Model Checking Software, p.81-98
Volltextzugriff (PDF)
Integrated Formal Methods, p.40-61
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.159-174
Volltextzugriff (PDF)
IEEE embedded systems letters, 2018-03, Vol.10 (1), p.22-25
2018
Volltextzugriff (PDF)
2000
Volltextzugriff (PDF)
Software Engineering and Formal Methods, 2020, Vol.12310, p.133-154
2020
Volltextzugriff (PDF)
Software Engineering and Formal Methods, 2020, Vol.12310, p.113-132
2020
Volltextzugriff (PDF)
Tests and Proofs, p.3-20
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, p.72-92
Volltextzugriff (PDF)
Fundamental Approaches to Software Engineering, p.100-114
Volltextzugriff (PDF)
Science of computer programming, 2024-12, Vol.238, p.103154, Article 103154
2024
Volltextzugriff (PDF)
NASA Formal Methods, 2017, Vol.10227, p.389-403
2017
Volltextzugriff (PDF)
Testing Software and Systems, 2018, Vol.11146, p.39-55
2018
Volltextzugriff (PDF)
Integrated Formal Methods, p.307-322
Volltextzugriff (PDF)
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022, p.1-12
2022
Volltextzugriff (PDF)
Proceedings of the 55th Annual Design Automation Conference, 2018, p.1-6
2018
Volltextzugriff (PDF)
Software Engineering for Resilient Systems, p.13-27
Volltextzugriff (PDF)
2022 17th Conference on Computer Science and Intelligence Systems (FedCSIS), 2022, p.505-514
2022
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Humans
- Technology
- Computer Science
- Computer Science, Software Engineering
- Female
- Computer Science, Theory & Methods
- Male
- Animals
- Science & Technology - Other Topics
- Adolescent
- Adult
- Biochemistry & Molecular Biology
- Multidisciplinary Sciences
- Child
- Middle Aged
- Proteins
- Software
- Aged
Kollektion
- Ingenta
- Elektronische Zeitschriftenbibliothek (Open access)
- MEDLINE
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- Taylor & Francis eBooks A-Z
- Elsevier ScienceDirect Journals Collection
- HEAL-Link subscriptions: Springer Book Series
- NUS Single-Journal Subscriptions
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IEEE
- Journals@Ovid Full Text
- ACM Digital Library
- Springer Nature - Connect here FIRST to enable access
- Wiley-Blackwell Journals
- Nexis Uni
- Wiley Online Library
- UTB Scholars
- APS_美国物理学会期刊
- Springer for R&D Journals
Zeitschrift / Serie
Neu hinzugefügt