Sortiert nach
Runtime Verification, p.307-322
Link zum Volltext
Automated Reasoning, p.330-345
Link zum Volltext
Principles of Security and Trust, p.226-246
Link zum Volltext
Runtime Verification, p.31-47
Link zum Volltext
Formal Methods: Foundations and Applications, p.23-36
Link zum Volltext
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, Vol.9710, p.323-341
2016
Link zum Volltext
Theoretical Aspects of Computing - ICTAC 2015, p.165-183
Link zum Volltext
Computer Aided Verification, p.306-320
Link zum Volltext
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, Vol.7180, p.406-419
2012
Link zum Volltext
Haptics: Science, Technology, and Applications, p.623-635
Link zum Volltext
Static Analysis, p.105-125
Link zum Volltext
Artificial Neural Networks and Machine Learning – ICANN 2016, p.339-346
Link zum Volltext
Relational and Algebraic Methods in Computer Science, p.77-92
Link zum Volltext
Logic-Based Program Synthesis and Transformation, p.235-251
Link zum Volltext
Computer Aided Verification, p.17-34
Link zum Volltext
Automata, Languages and Programming, Vol.5126, p.184-196
Link zum Volltext
Perspectives of System Informatics, 2019, Vol.11964, p.64-79
2019
Link zum Volltext
Runtime Verification, p.59-75
Link zum Volltext
Theorem Proving in Higher Order Logics, p.452-468
Link zum Volltext
Correct System Design, 2015, p.238-259
2015
Link zum Volltext
Programming Languages and Systems, p.80-94
Link zum Volltext
Fundamental Approaches to Software Engineering, p.470-485
Link zum Volltext
Document Analysis and Recognition – ICDAR 2021, p.65-79
Link zum Volltext
Structured Object-Oriented Formal Language and Method, p.62-80
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.113-129
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Function Symbol
- Computer Science, Software Engineering
- Computer Science, Artificial Intelligence
- Predicate Symbol
- Theoretical Computing
- Computer Science, Information Systems
- Software
- Input Symbol
- Mathematics
- Physical Sciences
- Logic Program
- Relation Symbol
- Artificial Intelligence
Kollektion
Zeitschrift / Serie
- Lecture Notes In Computer Science
- Advances In Information Systems
- Advances In Information Systems, Proceedings
- Advances In Multimedia Information Processing - Pcm 2004
- Computational Science And Its Applications - Iccsa 2004, Pt 1
- Computational Science And Its Applications – Iccsa 2004
- Computing With New Resources
- Implementation And Application Of Automata
- String Processing And Information Retrieval
- String Processing And Information Retrieval, Proceedings