Online, library-based visual formal specification monitoring system for monitoring log-files with visible and hidden data

Document Details

Document Type

Pub Defense Publication

Publication Date

Sep 28, 2016

Source ID

10.1007/s11334-016-0286-6

Entities