Login / Signup
Automatic Generation of an Operational CSP-Z Specification from an Abstract Temporal^Z Specification.
Thouraya Gouasmi
Amira Regayeg
Ahmed Hadj Kacem
Published in:
COMPSAC Workshops (2012)
Keyphrases
</>
high level
temporal ordering
state machines
transition systems
automatically generate
database
search algorithm
spatio temporal
user defined
temporal information
knowledge level
np hard
formal specification
reactive systems