{{ $t("message.ADVERTISEMENT") }}
{{ $t("message.AD_EXPIRE_DATE") }}{{ad01_expire_date}}
{{ $t("message.ADVERTISEMENT") }}
{{ $t("message.AD_EXPIRE_DATE") }}{{ad02_expire_date}}
文献
J-GLOBAL ID:200902114840729203   整理番号:00A0694944

商業設定における公式検証

Formal Verification in a Commercial Setting.
著者 (1件):
資料名:
巻: 170  ページ: 220-230  発行年: 2000年
JST資料番号: H0841A  ISSN: 1387-6694  資料種別: 会議録 (C)
発行国: ドイツ (DEU)  言語: 英語 (EN)
タイトルに関連する用語 (2件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです

前のページに戻る