Login / Signup

The clock constraint specification language for building timed causality models - Application to synchronous data flow graphs.

Frédéric MalletJulien DeAntoniCharles AndréRobert de Simone
Published in: Innov. Syst. Softw. Eng. (2010)
Keyphrases
  • specification language
  • databases
  • formal specification
  • causal models
  • search space
  • high speed
  • description language
  • information systems
  • search algorithm
  • probabilistic model
  • orders of magnitude
  • business process