Method Integration with Formal Description Techniques

Publication Information

Title

Japanese:
English:	Method Integration with Formal Description Techniques

Author

Japanese:	Sureerat Saeeiab, 佐伯元司.
English:	Sureerat Saeeiab, Motoshi Saeki.

Language

English

Journal/Book name

Japanese:	電子情報通信学会論文誌
English:	IEICE Transactions on Information and Systems

Volume, Number, Page

Vol. E83-D No. 4 pp. 616-626

Published date

Apr. 2000

Publisher

Japanese:
English:

Conference name

Japanese:
English:

Conference site

Japanese:
English: