文献

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)

タイトルに関連する用語 (1件)： VDM