用語

J-GLOBAL ID：201106043155424520

時間付きオートマトン

電子計算機
同義語 (2件)：

時間オートマトン (timed automata)
時間オートマトンについて
- 「時間オートマトン」ですべてを検索
時間オートマトン (timed automaton)
時間オートマトンについて
- 「時間オートマトン」ですべてを検索

関連語 (2件)：

プログラム検証 (program verification)
プログラム検証について
- 「プログラム検証」ですべてを検索
- この用語の用語情報を見る
実時間処理 (real time processing)
実時間処理について
- 「実時間処理」ですべてを検索
- この用語の用語情報を見る

上位語 (2件)：

オートマトン (automaton)
オートマトンについて
- 「オートマトン」ですべてを検索
- この用語の用語情報を見る
時間依存性 (time dependence)
時間依存性について
- 「時間依存性」ですべてを検索
- この用語の用語情報を見る

シソーラスmap：

シソーラスmap ※学術用語集由来のみの同義語は表示されません

前のページに戻る

TOP

BOTTOM