文献
J-GLOBAL ID:201302260636856548
整理番号:13A1163340
BLESS:ソフトウェアを用いた組込みシステムの挙動の形式仕様と検証
BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software
著者 (3件):
LARSON Brian R.
(Kansas State Univ., Kansas, USA)
,
CHALIN Patrice
(Kansas State Univ., Kansas, USA)
,
HATCLIFF John
(Kansas State Univ., Kansas, USA)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
7871
ページ:
276-290
発行年:
2013年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
発行国:
ドイツ (DEU)
言語:
英語 (EN)