Login / Signup
specifications using CADP.
Dimitris Vekris
Frédéric Lang
Catalin Dima
Radu Mateescu
Published in:
Formal Aspects Comput. (2016)
Keyphrases
</>
delay insensitive
databases
high level
concurrent systems
control flow
computer vision
formal specification
machine learning
mobile robot
social networks
functional requirements
operational semantics
reactive systems
bounded model checking