Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Proceedings of the 19th International Conference on Availability, Reliability and Security, 2024, p.1-12
2024
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, 2024, p.87
2024
Volltextzugriff (PDF)
2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022), 2022, p.70-81
2022
Volltextzugriff (PDF)
2022 IEEE 15th International Conference on Software Testing, Verification and Validation (ICST 2022), 2022, p.456-458
2022
Volltextzugriff (PDF)
Language and Automata Theory and Applications, 2018, Vol.10792, p.182-194
2018
Volltextzugriff (PDF)
Critical Systems: Formal Methods and Automated Verification, p.185-200
Volltextzugriff (PDF)
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017, p.142-151
2017
Volltextzugriff (PDF)
Computer Aided Verification, p.454-471
Volltextzugriff (PDF)
Theoretical Aspects of Computing - ICTAC 2015, p.165-183
Volltextzugriff (PDF)
Formal Methods for Industrial Critical Systems, p.78-93
Volltextzugriff (PDF)
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
- Register Automata
- Security
- Software Testing
- System Under Test
- Abstraction Function
- Active Automata Learning
- Analytical Models
- Behavioral Sciences
- Codes
Kollektion
Neu hinzugefügt