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