PCMR performs qualitative, temporal, and causal reasoning based on the characteristics of control processes in technical systems. A survey of the PCMR language ...
確定! 回上一頁