Sign in
On the Semantics of Polychronous Polytimed Specifications.
Hai Nguyen Van
Thibaut Balabonski
Frédéric Boulanger
Chantal Keller
Benoît Valiron
Burkhart Wolff
Published in:
FORMATS (2020)
Keyphrases
</>
specification language
formal language
formal semantics
control flow
operational semantics
attribute grammars
logic programming
formal specification
functional requirements
model theoretic
databases
knowledge base
relational databases
transformation rules
logical language