Sortiert nach
1st Edition 2017, 2017
Link zum Volltext
Electronic proceedings in theoretical computer science, 2019-12, Vol.311 (Proc. ARCADE 2019), p.37-41
2019
Link zum Volltext
International journal on software tools for technology transfer, 2021-04, Vol.23 (2), p.255-284
2021
Link zum Volltext
International journal on software tools for technology transfer, 2021-04, Vol.23 (2), p.209-228
2021
Link zum Volltext
Electronic proceedings in theoretical computer science, 2017-08, Vol.254 (Proc. PrePost 2017), p.1-14
2017
Link zum Volltext
FM 2012: Formal Methods, 2012, p.68-84
2012
Link zum Volltext
EPJ Web of Conferences, 2020, Vol.245, p.5013
2020
Link zum Volltext
Lectures on Runtime Verification, 2018, Vol.10457, p.1-33
2018
Link zum Volltext
Automated Reasoning with Analytic Tableaux and Related Methods, p.187-199
Link zum Volltext
Models, Algorithms, Logics and Tools, p.310-338
Link zum Volltext
Lecture notes in computer science, 2017, Vol.10548 LNCS, p.294-311
2017
Link zum Volltext
Automated Reasoning with Analytic Tableaux and Related Methods, p.250-265
Link zum Volltext
2022 IEEE International Conference on Big Data (Big Data), 2022, p.4758-4767
2022
Link zum Volltext
Runtime Verification, p.416-423
Link zum Volltext
Runtime Verification, p.410-415
Link zum Volltext
Runtime Verification, p.498-503
Link zum Volltext
Runtime Verification, p.390-399
Link zum Volltext
Automated Deduction – CADE 27, 2019, p.477-494
2019
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, p.479-495
Link zum Volltext
Automated Deduction – CADE 27, 2019, p.74-93
2019
Link zum Volltext
Runtime Verification, p.208-224
Link zum Volltext
Runtime Verification, p.287-293
Link zum Volltext
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, Artificial Intelligence
- Logic
- Science & Technology - Other Topics
- Runtime Verification
- Software Engineering
- Computer Science, Interdisciplinary Applications
- Software Engineering/programming And Operating Systems
- Computer Science, Hardware & Architecture
- Engineering
- Execution Trace
- Formal Methods
- Physical Sciences
- Temporal Logic
- Verification
- Embedded Systems
Kollektion
Zeitschrift / Serie
- International Journal On Software Tools For Technology Transfer
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- 24th International Conference On Computing In High Energy And Nuclear Physics
- Crystal Growth & Design
- Epj Web Of Conferences
- Journal On Satisfiability, Boolean Modeling And Computation
- Preventive Medicine Reports
- Software Engineering Notes