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

Authors
Publication date
1 September 2017
Publisher
Doi

    Abstract

    Abstract is not available.

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Open Repository and Bibliography - Luxembourg

      redirect
      oaioai:orbilu.uni.lu:10993/31610
      Last time updated on 12/08/2017

      Crossref

      redirect
      oaiinfo:doi/10.1109%2Fmodels.2017...
      Last time updated on 01/04/2019