文献
J-GLOBAL ID:201202263818579819
整理番号:12A1613483
Ada実装のための形式的モデル化:事象Bのタスク
Formal Modelling for Ada Implementations: Tasking Event-B
著者 (3件):
EDMUNDS Andrew
(Univ. Southampton, Southampton, GBR)
,
REZAZADEH Abdolbaghi
(Univ. Southampton, Southampton, GBR)
,
BUTLER Michael
(Univ. Southampton, Southampton, GBR)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
7308
ページ:
119-132
発行年:
2012年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
発行国:
ドイツ (DEU)
言語:
英語 (EN)