Contents of Report

[Data of Report]

Report Number:: TR0686
Date of Registration:: 1991.09
English Title:: An Integration Environment to Put Formal Specifications into Practical Use in Real-Time Systems
Japanese Title:: ***
English Author:: S.Honiden,A.Ohsuga,N.Uchihira
Japanese:: ***
Name of Organization to which author belongs:: Toshiba,Toshiba,Toshiba
PDF:: tr0686.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Architecture for specification Process Support in MENDELS ZONE	.... 3
3	Example	.... 5
4	Related Work	.... 8
5	Conclusion	.... 8
	Acknowledgements	.... 8
	References	.... 9

目次をクリックすると、PDFファイルが表示されます。