Sortiert nach
Journal of symbolic computation, 2022-11, Vol.113, p.1-28
2022
Link zum Volltext
FM 2016: Formal Methods, p.628-644
Link zum Volltext
Formal methods in system design, 2021-10, Vol.58 (1-2), p.5-41
2021
Link zum Volltext
Computer languages, systems & structures, 2017-01, Vol.47 (1), p.19-43
2017
Link zum Volltext
Journal of automated reasoning, 2019-12, Vol.63 (4), p.1005-1029
2019
Link zum Volltext
IEEE robotics and automation letters, 2019-07, Vol.4 (3), p.2910-2917
2019
- Link zum Volltext
ACM transactions on embedded computing systems, 2017-10, Vol.16 (5s), p.1-19
2017
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, p.268-288
Link zum Volltext
FM 2015: Formal Methods, p.514-531
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, p.431-448
Link zum Volltext
Formal Methods – The Next 30 Years, p.138-157
Link zum Volltext
NASA Formal Methods, 2017, Vol.10227, p.194-211
2017
Link zum Volltext
NASA Formal Methods, p.188-202
Link zum Volltext
NASA Formal Methods, p.136-143
Link zum Volltext
2016 IEEE Conference on Control Applications (CCA), 2016, p.1024-1029
2016
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Ordinary Differential Equations
- Symbolic Computation
- Formal Languages And Automata Theory
- Dynamical Systems
- Programming Languages
- Systems And Control
- Hybrid System
- Hybrid Systems
- Logic
- Safety Verification
- Science & Technology - Other Topics
- Computational Geometry
- Continuous Invariants
- Drill String
- Formal Verification
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- RCN full-text journals@Ovid
- IEEE/IET Electronic Library
- ScienceDirect
- SpringerLink (Online service)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library
- eBooks on EBSCOhost
- ProQuest Dissertations & Theses A&I
- EZB Electronic Journals Library
Zeitschrift / Serie
Neu hinzugefügt