文献
J-GLOBAL ID:200902128935108797
整理番号:93A0320088
Using VDM to Specify Managed Object Relationships.
著者 (2件):
MARSHALL L S
(Bell-Northern Research Ltd., Ontario, CAN)
,
SIMON L
(Bell-Northern Research Ltd., Ontario, CAN)
資料名:
IFIP Transactions C: Communication Systems
(IFIP Transactions C: Communication Systems)
巻:
10
ページ:
263-278
発行年:
1993年
JST資料番号:
W0459A
ISSN:
0926-549X
資料種別:
逐次刊行物 (A)
発行国:
オランダ (NLD)
言語:
英語 (EN)