Statistics of A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations

Contact ORBilu