Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Electronic proceedings in theoretical computer science, 2019, Vol.286 (Proc. CREST 2018), p.50-64
2019
Volltextzugriff (PDF)
Acta informatica, 2018-05, Vol.55 (3), p.191-212
2018
Volltextzugriff (PDF)
IEEE transactions on computer-aided design of integrated circuits and systems, 2023-11, Vol.42 (11), p.1-1
2023
Volltextzugriff (PDF)
Runtime Verification, 2019, Vol.11757, p.91-110
2019
Volltextzugriff (PDF)
2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 2019, p.17-1714
2019
Volltextzugriff (PDF)
ACM transactions on embedded computing systems, 2019-10, Vol.18 (5s), p.1-24
2019
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, 2020, Vol.12302, p.484-500
2020
Volltextzugriff (PDF)
Language and Automata Theory and Applications, 2014, p.360-371
2014
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, 2017, Vol.10482, p.139-155
2017
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, 2020, Vol.12302, p.413-428
2020
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, 2016, Vol.9938, p.271-286
2016
Volltextzugriff (PDF)
Runtime Verification, 2020, Vol.12399, p.184-194
2020
Volltextzugriff (PDF)
Runtime Verification, 2021, Vol.12974, p.311-330
2021
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, 2019, Vol.11781, p.334-349
2019
Volltextzugriff (PDF)
Runtime Verification, 2023, Vol.14245, p.191-212
2023
Volltextzugriff (PDF)
Runtime Verification, 2016, Vol.10012, p.152-168
2016
Volltextzugriff (PDF)
Runtime Verification, 2023, Vol.14245, p.271-290
2023
Volltextzugriff (PDF)
Integrated Formal Methods, 2025, p.297-306
2025
Volltextzugriff (PDF)
2021 Formal Methods in Computer Aided Design (FMCAD), 2021, p.153-162
2021
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, 2022, Vol.13505, p.3-22
2022
Volltextzugriff (PDF)
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
- Computer Science, Hardware & Architecture
- Automation & Control Systems
- Runtime Assurance
- Runtime Verification
- Temporal Logic
- Autonomous Systems
- Computer Science, Information Systems
- Model Checking
- Operational Design Domains
- Real-Time Properties
- Safety
- Stream Specification Languages
- Synthesis
- Ai-Based Autonomous Systems
- Ai-Based Autonomy
Kollektion
Zeitschrift / Serie
Neu hinzugefügt