The researcher used LTL to specify the system's safety requirements.
研究者はシステムの安全要件を記述するために線形時相論理を用いた。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
