Sortiert nach
Runtime Verification, p.31-47
Link zum Volltext
Computer Aided Verification, p.306-320
Link zum Volltext
Computer Aided Verification, p.17-34
Link zum Volltext
Fundamental Approaches to Software Engineering, p.470-485
Link zum Volltext
Computer Aided Verification, p.87-105
Link zum Volltext
Automated Deduction – CADE-20, 2005, p.219-234
2005
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, p.209-226
Link zum Volltext
Web Reasoning and Rule Systems, p.29-44
Link zum Volltext
Practical Aspects of Declarative Languages, 2017, Vol.10137, p.86-102
2017
Link zum Volltext
Knowledge Representation for Health Care, 2014, Vol.8903, p.45-61
2014
Link zum Volltext
Verified Software: Theories, Tools, Experiments, p.66-81
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, 2017, Vol.10145, p.462-482
2017
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.413-427
Link zum Volltext
Principles of Security and Trust, p.139-162
Link zum Volltext
Logic for Programming, Artificial Intelligence, and Reasoning, 2015, Vol.9450, p.1-15
2015
Link zum Volltext
Functional and Logic Programming, p.285-301
Link zum Volltext
Formal Verification of Object-Oriented Software, p.138-152
Link zum Volltext
Theory and Applications of Satisfiability Testing – SAT 2016, p.490-499
Link zum Volltext
Frontiers of Combining Systems, p.198-213
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, 2017, Vol.10145, p.209-227
2017
Link zum Volltext
Formal Modeling and Analysis of Timed Systems, p.228-244
Link zum Volltext
Principles of Security and Trust, p.189-208
Link zum Volltext
The Semantic Web: Research and Applications, p.384-398
Link zum Volltext
Fundamental Approaches to Software Engineering, p.276-290
Link zum Volltext
Fundamental Approaches to Software Engineering, p.37-51
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Logic Program
- Function Symbol
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Computer Science, Artificial Intelligence
- Logic Programming
- Theoretical Computing
- Horn Clause
- Computer Science, Information Systems
- Atomic Formula
- Software
- Abstract Interpretation
- Description Logic