文献
J-GLOBAL ID:201202210715706921
整理番号:12A0168355
データ精緻化を用いた不変ダイアグラム
Invariant diagrams with data refinement
著者 (2件):
PREOTEASA Viorel
(Åbo Akademi Univ., Dep. of Information Technologies, Joukahaisenkatu 3-5 A, 20520, Turku, FIN)
,
BACK Ralph-Johan
(Åbo Akademi Univ., Dep. of Information Technologies, Joukahaisenkatu 3-5 A, 20520, Turku, FIN)
資料名:
Formal Aspects of Computing
(Formal Aspects of Computing)
巻:
24
号:
1
ページ:
67-95
発行年:
2012年01月
JST資料番号:
T0973A
ISSN:
0934-5043
資料種別:
逐次刊行物 (A)
発行国:
ドイツ (DEU)
言語:
英語 (EN)