Kusumoto Laboratory: 岡野浩三, 上位設計におけるシステムの振る舞い検証技術, 2008年9月.
  • リスト
  •  表 
  • LaTeX
  • BibTeX
Detail of a work
Tweet
岡野浩三, "上位設計におけるシステムの振る舞い検証技術," システム/制御/情報, Vol. 52(No. 9), pp.328-333, 2008年9月.
ID 192
分類 解説
タグ Model checking
表題 (title) 上位設計におけるシステムの振る舞い検証技術
表題 (英文)
著者名 (author) 岡野浩三
英文著者名 (author) Kozo Okano
キー (key) Kozo Okano
定期刊行物名 (journal) システム/制御/情報
定期刊行物名 (英文)
巻数 (volume) Vol. 52
号数 (number) No. 9
ページ範囲 (pages) pp.328-333
刊行月 (month) 9
出版年 (year) 2008
Impact Factor (JCR)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 利用できません.
BiBTeXエントリ
@article{id192,
         title = {上位設計におけるシステムの振る舞い検証技術},
        author = {岡野浩三},
       journal = {システム/制御/情報},
        volume = {Vol. 52},
        number = {No. 9},
         pages = {pp.328-333},
         month = {9},
          year = {2008},
}
  

Search

Tags

1 件の該当がありました. : このページのURL : HTML

Language: 英語 | 日本語 || ログイン |

This site is maintained by fenrir.
PMAN 3.2.10 build 20181029 - Paper MANagement system / (C) 2002-2016, Osamu Mizuno
Time to show this page: 0.032897 seconds.