|  |
| |
| Artikel-Nr.:
5667A-9783030884932 Herst.-Nr.:
9783030884932 EAN/GTIN:
9783030884932 |
| |
|
| | |
| This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021. Weitere Informationen: | | Author: | Lu Feng; Dana Fisman | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Theory of computation, formal languages and automata theory, logic, design and analysis of algorithms, theory and algorithms for application domains, semantics and reasoning, security and privacy, formal methods and theory of security, intrusion/anomaly detection and malware mitigation, computing methodologies, modeling and simulation |
| | |
| |