Sortiert nach
Computer Aided Verification, p.454-471
Link zum Volltext
Critical Systems: Formal Methods and Automated Verification, p.185-200
Link zum Volltext
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017, p.142-151
2017
Link zum Volltext
Language and Automata Theory and Applications, 2018, Vol.10792, p.182-194
2018
Link zum Volltext
Theoretical Aspects of Computing - ICTAC 2015, p.165-183
Link zum Volltext
2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022), 2022, p.70-81
2022
Link zum Volltext
2022 IEEE 15th International Conference on Software Testing, Verification and Validation (ICST 2022), 2022, p.456-458
2022
Link zum Volltext
Formal Methods for Industrial Critical Systems, p.78-93
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Theory & Methods
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Automaton Learning
- Conferences
- Equivalence Query
- Model Learning
- Network Security Testing
- Protocols
- Security
- Software Testing
- System Under Test
- Abstraction Function
- Analytical Models
- Behavioral Sciences
- Codes
- Computer Architecture
- Computer Bugs