Timed CSP for Safety Specification of Hybrid System.

Jinzhao Wu Shihan Yang

Published in: ICYCS (2008)

Keyphrases

constraint satisfaction problems
petri net
decomposition methods
colored petri nets
constraint satisfaction
high level
timed automata
constraint programming
tree decompositions
formal verification
expert systems
simulation model
traffic accidents
neural network
tree decomposition
np hard
web services