N. Ubayashi, "Modular Programming and Reasoning for Deal- Ing with Uncertainty in Cps," In NII Shonan Meeting on Architecture-Centric Modeling, Analysis, and Verification of Cyber-Physical Systems, 2015.
ID 433
分類 研究会・全国大会等
タグ cps deal- ing modular programming reasoning uncertainty
表題 (title) Modular Programming and Reasoning for Deal- Ing with Uncertainty in Cps
表題 (英文)
著者名 (author) Naoyasu Ubayashi
英文著者名 (author)
編者名 (editor)
編者名 (英文)
キー (key)
書籍・会議録表題 (booktitle) NII Shonan Meeting on Architecture-Centric Modeling, Analysis, and Verification of Cyber-Physical Systems
書籍・会議録表題(英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages)
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 0
出版年 (year) 2015
採択率 (acceptance)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 利用できません.
BiBTeXエントリ
@inproceedings{id433,
         title = {Modular Programming and Reasoning for Deal- ing with Uncertainty in CPS},
        author = {Naoyasu Ubayashi},
     booktitle = {NII Shonan Meeting on Architecture-Centric Modeling, Analysis, and Verification of Cyber-Physical Systems},
         month = {0},
          year = {2015},
}