Login / Signup

Auxiliary Variables in Temporal Specifications: Semantic and Practical Analysis for System-Level Requirements.

Laurence Pierre
Published in: ACM Trans. Design Autom. Electr. Syst. (2016)
Keyphrases
  • auxiliary variables
  • functional requirements
  • high level
  • video sequences
  • higher order