specifications.

Jure Kukovec Thanh-Hai Tran Igor Konnov

Published in: Sci. Comput. Program. (2020)

Keyphrases

control flow
delay insensitive
high level
website
formal specification
machine learning
computer vision
decision making
specification language
operational semantics
reactive systems
transition systems
attribute grammars