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

Journal name: 回路とシステムワークショップ論文集 Workshop on Circuits and Systems 33:2020.11.7

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 記事
Title: 機械加工スケジューリング問題の時間オートマトンによるモデル化とモデル検査による最適化
Author/Editor: 澤枝良樹
中田康佑
中村正樹
榊原一紀
Author Heading: 澤枝良樹
中田康佑
中村正樹
榊原一紀
Alternative Title: Modeling of machine scheduling problems in timed automata and optimization by model checking
Periodical title: 回路とシステムワークショップ論文集 Workshop on Circuits and Systems
No. or year of volume/issue: 33:2020.11.7
Volume: 33
Pages: 84-89
Publication date of volume/issue (W3CDTF): 2020-11-07
Publication (Periodical Title): [東京] : [電子情報通信学会]
Place of Publication (Country Code): JP
Text Language Code: jpn
NDLC: ZN33
Target Audience: 一般
Holding library: 国立国会図書館
Call No.: YH247-954
Data Provider (Database): 国立国会図書館 : 国立国会図書館雑誌記事索引
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 030733778
http://id.ndl.go.jp/bib/030733778
Bibliographic Record Category (NDL): 632