Sortiert nach
IEEE transactions on computer-aided design of integrated circuits and systems, 2022-11, Vol.41 (11), p.1-1
2022
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2017-11, Vol.19 (6), p.717-741
2017
Volltextzugriff (PDF)
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023, p.208-220
2023
Volltextzugriff (PDF)
Mathematical structures in computer science, 2017-10, Vol.27 (7), p.1111-1131
2017
Volltextzugriff (PDF)
NASA Formal Methods, 2021, Vol.12673, p.322-339
2021
Volltextzugriff (PDF)
Interactive Theorem Proving, p.336-353
Volltextzugriff (PDF)
Computer Aided Verification, p.521-541
Volltextzugriff (PDF)
IFAC-PapersOnLine, 2023, Vol.56 (3), p.637-642
2023
Volltextzugriff (PDF)
Intelligent Computer Mathematics, p.206-221
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.21-36
Volltextzugriff (PDF)
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014, p.113-126
2014
Volltextzugriff (PDF)
2012 27th Annual IEEE Symposium on Logic in Computer Science, 2012, p.425-430
2012
Volltextzugriff (PDF)
2021 American Control Conference (ACC), 2021, p.237-242
2021
Volltextzugriff (PDF)
Descriptional Complexity of Formal Systems, p.1-19
Volltextzugriff (PDF)
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019, p.370-384
2019
Volltextzugriff (PDF)
Programming Languages and Systems, p.61-80
Volltextzugriff (PDF)
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, 2021, p.1-11
2021
Volltextzugriff (PDF)
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023, p.945-959
2023
Volltextzugriff (PDF)
2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness), 2022, p.10-17
2022
Volltextzugriff (PDF)
Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, 2020, p.235-249
2020
Volltextzugriff (PDF)
2020 American Control Conference (ACC), 2020, p.4729-4736
2020
Volltextzugriff (PDF)
2022 International Conference on Embedded Software (EMSOFT), 2022, p.11-12
2022
Volltextzugriff (PDF)
Logic and Program Semantics, p.106-123
Volltextzugriff (PDF)
2019 American Control Conference (ACC), 2019, p.3358-3363
2019
Volltextzugriff (PDF)
2019 7th International Conference in Software Engineering Research and Innovation (CONISOFT), 2019, p.26-35
2019
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Engineering
- Engineering, Electrical & Electronic
- Automation & Control Systems
- Formal Verification
- Collision Avoidance
- Computer Science, Hardware & Architecture
- Life Sciences & Biomedicine
- Semantics
- Female
- Humans
- Hybrid Systems
- Aircraft
- Computer Science, Interdisciplinary Applications
- Covid-19
- Formal Languages And Automata Theory
Kollektion
- Ingenta
- IEEE Xplore
- ACM Digital Library
- SpringerLink Series
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals
- MEDLINE
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- IngentaConnect Journals
- eBooks on EBSCOhost
- Springer Nature - Connect here FIRST to enable access
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Blackwell Single Titles
- Applied Social Sciences Index & Abstracts (ASSIA)
- Cambridge Journals Online (DEFF)
- ProQuest Dissertations & Theses A&I
- Journals@Ovid
- Springer Journals
Zeitschrift / Serie
- Scientific Data
- Sigplan Notices
- Cell
- Electronic Notes In Theoretical Computer Science
- Frontiers In Psychiatry
- Health Expectations
- Health Expectations : An International Journal Of Public Participation In Health Care And Health Policy
- Ieee Micro
- Ieee Transactions On Computer-Aided Design Of Integrated Circuits And Systems
- International Journal On Software Tools For Technology Transfer
Neu hinzugefügt