最終更新日:2022/12/24
In this paper, we show how to compute a controllable and coobservable sublanguage of the specification in a computationally efficient way.
編集履歴(0)
In this paper, we show how to compute a controllable and coobservable sublanguage of the specification in a computationally efficient way.