Sortiert nach
International journal on software tools for technology transfer, 2021-12, Vol.23 (6), p.847-851
2021
Link zum Volltext
Science of computer programming, 2024-01, Vol.232, p.103055, Article 103055
2024
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
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
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
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
Software Engineering and Formal Methods, p.145-164
Link zum Volltext
2022 17th Conference on Computer Science and Intelligence Systems (FedCSIS), 2022, p.653-662
2022
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, p.72-92
Link zum Volltext
Science of computer programming, 2024-12, Vol.238, p.103154, Article 103154
2024
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
Integrated Formal Methods, p.307-322
Link zum Volltext
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022, p.1-12
2022
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Humans
- Technology
- Computer Science
- Female
- Computer Science, Software Engineering
- Male
- Computer Science, Theory & Methods
- Animals
- Adult
- Science & Technology - Other Topics
- Middle Aged
- Adolescent
- Biochemistry & Molecular Biology
- Multidisciplinary Sciences
- Biological And Medical Sciences
- Child
- Medicine
- Patients
Kollektion
- Ingenta E-Journals
- MEDLINE
- EZB Electronic Journals Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- Taylor & Francis eBooks A-Z
- Elsevier ScienceDirect Journals Complete
- SpringerLink (Online service)
- Journals@Ovid Ovid Full Text
- Publisher website
- HEAL-Link subscriptions: Springer Book Series
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IEEE/IET Electronic Library (IEL)
- ACM Digital Library
- Springer Nature - Connect here FIRST to enable access
- Wiley-Blackwell Journals
- Nexis
- Wiley Online Library Full Collection 2018
Zeitschrift / Serie
Neu hinzugefügt