Machine-Assisted Proof Support for Validation Beyond Simulink.

Chunqing Chen Jin Song Dong Jun Sun

Published in: ICFEM (2007)

Keyphrases

artificial intelligence
end users
computer vision
data model
scheduling problem
software development