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 Modeling and Analysis of Timed Systems, p.181-198
Volltextzugriff (PDF)
Journal of computer and system sciences, 2021-05, Vol.117, p.202-241
2021
Volltextzugriff (PDF)
Axioms, 2023-02, Vol.12 (3), p.230
2023
Volltextzugriff (PDF)
Formal Modeling and Analysis of Timed Systems, p.199-215
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, p.55-71
Volltextzugriff (PDF)
Software quality journal, 2018-09, Vol.26 (3), p.961-989
2018
Volltextzugriff (PDF)
Discrete event dynamic systems, 2017-06, Vol.27 (2), p.407-441
2017
Volltextzugriff (PDF)
Automatisierungstechnik : AT, 2024-10, Vol.72 (10), p.896-905
2024
Volltextzugriff (PDF)
ACM transactions on computational logic, 2019-07, Vol.20 (3), p.1-31
2019
Volltextzugriff (PDF)
Software Technologies, p.45-67
Volltextzugriff (PDF)
IEEE transactions on automatic control, 2024-05, Vol.69 (5), p.3080-3095
2024
Volltextzugriff (PDF)
Automata, Languages, and Programming, p.171-182
Volltextzugriff (PDF)
FM 2012: Formal Methods, p.33-36
Volltextzugriff (PDF)
IEEE transactions on automatic control, 2024-07, p.1-8
2024
Volltextzugriff (PDF)
Automatica (Oxford), 2024-06, Vol.164, p.111644, Article 111644
2024
Volltextzugriff (PDF)
E-Business and Telecommunications, p.3-28
Volltextzugriff (PDF)
IEEE transactions on automatic control, 2022-10, Vol.67 (10), p.5262-5277
2022
Volltextzugriff (PDF)
ACM computing surveys, 2023-06, Vol.55 (6), p.1-36, Article 127
2023
Volltextzugriff (PDF)
IEEE transactions on software engineering, 2015-05, Vol.41 (5), p.445-461
2015
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2015-08, Vol.17 (4), p.397-415
2015
Volltextzugriff (PDF)
Information and computation, 2023, Vol.276
2023
Volltextzugriff (PDF)
Automatica (Oxford), 2023-07, Vol.153, p.111045, Article 111045
2023
Volltextzugriff (PDF)
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-14
2022
Volltextzugriff (PDF)
Physica A, 2020-09, Vol.553, p.124107, Article 124107
2020
Volltextzugriff (PDF)
Information and computation, 2024-06, Vol.298, p.105168, Article 105168
2024
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Timed Automata
- Computer Science
- Computer Science, Theory & Methods
- Automata
- Computer Science, Software Engineering
- Engineering
- Model Checking
- Clocks
- Engineering, Electrical & Electronic
- Verification
- Computer Science, Information Systems
- Real-Time Systems
- Automation & Control Systems
- Uppaal
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Software
Kollektion
- Ingenta E-Journals
- IEEE Electronic Library (IEL)
- EZB Electronic Journals Library
- Springer Book Series (Lecture Notes)
- Access via ScienceDirect (Elsevier)
- ACM Digital Library
- SpringerNature Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- Journals@Ovid
- Taylor & Francis Online
- Access via Taylor & Francis
- Taylor & Francis
- Access via Business Source (EBSCOhost)
- Wiley Online Library All Obooks
- Access via Wiley Online Library
- SAGE Journals Online
Zeitschrift / Serie
- Theoretical Computer Science
- Ifac Proceedings Volumes
- Electronic Notes In Theoretical Computer Science
- Formal Methods In System Design
- International Journal On Software Tools For Technology Transfer
- Formal Aspects Of Computing
- Logical Methods In Computer Science
- Information And Computation
- Ifac-Papersonline
- Ieee Transactions On Automatic Control
Neu hinzugefügt