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...Formal methods in system design, 2017-08, Vol.51 (1), p.5-30
2017
Volltextzugriff (PDF)
IEEE robotics and automation letters, 2021-10, Vol.6 (4), p.6250-6257
2021
Volltextzugriff (PDF)
2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2019, p.3481-3486
2019
Volltextzugriff (PDF)
Formal methods in system design, 2017-06, Vol.50 (2-3), p.168-206
2017
Volltextzugriff (PDF)
IEEE transactions on computer-aided design of integrated circuits and systems, 2015-11, Vol.34 (11), p.1704-1717
2015
Volltextzugriff (PDF)
The International journal of robotics research, 2024-02, Vol.43 (2), p.203-238
2024
Volltextzugriff (PDF)
Computer Aided Verification, p.234-250
Volltextzugriff (PDF)
IEEE robotics and automation letters, 2023-01, Vol.8 (1), p.336-343
2023
Volltextzugriff (PDF)
Runtime Verification, p.55-70
Volltextzugriff (PDF)
Automated software engineering, 2011-12, Vol.18 (3-4), p.325-362
2011
Volltextzugriff (PDF)
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017, p.237-242
2017
Volltextzugriff (PDF)
NASA Formal Methods, p.771-789
Volltextzugriff (PDF)
2022 American Control Conference (ACC), 2022, p.2598-2603
2022
Volltextzugriff (PDF)
2021 60th IEEE Conference on Decision and Control (CDC), 2021, p.1542-1547
2021
Volltextzugriff (PDF)
NASA Formal Methods, p.733-751
Volltextzugriff (PDF)
2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS), 2024, p.169-179
2024
Volltextzugriff (PDF)
2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS), 2022, p.116-126
2022
Volltextzugriff (PDF)
2023 Formal Methods in Computer-Aided Design (FMCAD), 2023, p.294-305
2023
Volltextzugriff (PDF)
2023 59th Annual Allerton Conference on Communication, Control, and Computing (Allerton), 2023, p.1-1
2023
Volltextzugriff (PDF)
ACM transactions on embedded computing systems, 2019-10, Vol.18 (5s), p.1-21
2019
Volltextzugriff (PDF)
2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2020, p.1-12
2020
Volltextzugriff (PDF)
2023 American Control Conference (ACC), 2023, p.4096-4103
2023
Volltextzugriff (PDF)
2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS), 2020, p.87-97
2020
Volltextzugriff (PDF)
NASA Formal Methods, p.213-230
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Engineering
- Computer Science, Interdisciplinary Applications
- Engineering, Aerospace
- Computer Science, Software Engineering
- Temporal Logic
- Engineering, Electrical & Electronic
- Algorithms
- Automation & Control Systems
- Computer Science, Hardware & Architecture
- Cyber-Physical Systems
- Signal Temporal Logic
- Safety
- Verification
- Artificial Intelligence
- Computer Science, Information Systems
- Dynamical Systems
Kollektion
Zeitschrift / Serie
- Acm Transactions On Embedded Computing Systems
- Formal Methods In System Design
- Ieee Design And Test
- Ieee Robotics And Automation Letters
- Acm Sigplan Notices
- Acm Transactions On Cyber-Physical Systems
- Automated Software Engineering
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Ieee Control Systems
Neu hinzugefügt