Contents of Report

[Data of Report]

Report Number:: TM0988
Date of Registration:: 1991.01
English Title:: An Application of Structural Modeling and Automated Resoning to Real-Time Systems Design
Japanese Title:: ***
English Author:: S.Honiden,N.Uchihira,K.Matsumoto,K.Matsumura,M.Arai
Japanese:: ***
Name of Organization to which author belongs:: TOSHIBA,TOSHIBA,TOSHIBA,TOSHIBA,TOSHIBA
PDF:: tm0988.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Concurrent reusable component	.... 4
3	Method overview	.... 9
4	MENDELS ZONE;A software development environment for real-time systems	.... 15
5	Related Work	.... 18
6	Conclusion	.... 19
	Acknowledgements	.... 19
	References	.... 19
	End	.... 20

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