機械加工スケジューリング問題の時間オートマトンによるモデル化とモデル検査による最適化

• 澤枝 良樹

• 中田 康佑

• 中村 正樹

• 榊原 一紀

書誌事項

タイトル別名

• キカイ カコウ スケジューリング モンダイ ノ ジカン オートマトン ニ ヨル モデルカ ト モデル ケンサ ニ ヨル サイテキカ
• Modeling of machine scheduling problems in timed automata and optimization by model checking

収録刊行物

• 回路とシステムワークショップ論文集 Workshop on Circuits and Systems

  回路とシステムワークショップ論文集 Workshop on Circuits and Systems 33 84-89, 2020-11-07

  [東京] : [電子情報通信学会]

詳細情報

• CRID: 1520009409494534144
• NII論文ID: 40022400627
• NDL書誌ID: 030733778
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I030733778
• 本文言語コード: ja
• NDL 雑誌分類:
  • ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
• データソース種別:
  • NDL
  • CiNii Articles