検索結果 5 件
デジタル博士論文障害者向け資料あり
国立国会図書館
- 件名business process modeling model checking timed automata temporal constraint resource ...
紙図書
全国の図書館
- 件名...izing automata timed automata model-checking Cobham's theor...
- 件名（識別子）...izing automata timed automata model-checking Cobham's theor...
紙図書
全国の図書館
- 件名...izing automata timed automata model-checking Cobham's theor...
- 件名（識別子）...izing automata timed automata model-checking Cobham's theor...
デジタル博士論文
インターネットで読める全国の図書館
- 件名business process modeling model checking timed automata temporal constraint resource ...
デジタル文書・図像類
全国の図書館
- 件名...t verification timed automata hybrid models receptioneness ...
- 一般注記...developed open timed automata and realized automatic verifi...