Login / Signup
Extracting Environmental Constraints in Reactive System Specifications.
Yuichi Fukaya
Noriaki Yoshiura
Published in:
ICCSA (4) (2015)
Keyphrases
</>
constrained optimization
reactive systems
website
high level
agent architecture
semantic constraints
data mining
case study
constraint satisfaction
formal specification
linear constraints
asynchronous circuits
environmental protection