岡野浩三, "上位設計におけるシステムの振る舞い検証技術," システム/制御/情報, 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},
}