Towards 'Verifying' a Water Treatment System.

Jingyi Wang Jun Sun Yifan Jia Shengchao Qin Zhiwu Xu

Published in: FM (2018)

Keyphrases

water treatment
water quality
model checking
artificial intelligence
object oriented
software engineering
steady state
production system