Login / Signup

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

Chaima BoufaiedDomenico BianculliLionel C. Briand
Published in: J. Object Technol. (2019)
Keyphrases
  • temporal properties
  • model checking
  • formal methods
  • possibility theory
  • metamodel
  • neural network
  • machine learning
  • formal specification
  • pattern recognition
  • data warehouse