Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings (Lecture Notes in Computer Science, Band 11237)
Ein Fachbuch aus der RV 2018-Konferenz in Limassol bietet einen tiefgehenden Einblick in Laufzeitüberwachung: theoretische Modelle, neue Algorithme ...