Statistics of A Model-Driven Approach to Trace Checking of Pattern-based Temporal Properties

Contact ORBilu