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