文献
J-GLOBAL ID：200902185779299955   整理番号：93A0871310

A rewriting based method for the formal verification of microprocessors.

著者 (1件)：
ALLEMAND M

ALLEMAND M について

(Univ. Provence, Marseille, FRA)

Univ. Provence, Marseille, FRA について


資料名：
IFIP Transactions A: Computer Science and Technology  (IFIP Transactions A: Computer Science and Technology)

IFIP Transactions A: Computer Science and Technology について


巻： 32  ページ： 115-122  発行年： 1993年 
JST資料番号： W0457A  ISSN： 0926-5473  資料種別： 会議録 (C)
発行国： オランダ (NLD)  言語： 英語 (EN)

前のページに戻る

TOP

BOTTOM