Skip to content Skip to main menu Skip to search

Keywords – Highly reliable systems

Yuichi Goto, Shinsuke Nara and Jingde Cheng
Efficient Anticipatory Reasoning for Anticipatory Systems with Requirements of High Reliability and High Security