ビヘイビアアプローチに基づく制御仕様の達成可能性解析
The Analysis of the Achievability of a Specification in a Behavioral Framework

Osamu KANEKO
2008 Systems, Control and Information  
doi:10.11509/isciesci.52.11_414 fatcat:mtj5jvx6crejxdmq7tqjqtk4v4