Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings (Lecture Notes in Computer Science)
Ein umfassendes Werk über die 17. International Conference „Runtime Verification“ in Seattle, das aktuelle Forschungsergebnisse und innovative An ...