CASYS
International Journal of Computing Anticipatory Systems
Yuichi Goto, Shinsuke Nara et Jingde Cheng
Efficient Anticipatory Reasoning for Anticipatory Systems with Requirements of High Reliability and High Security