Design of dependable real-time systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Design of dependable real-time systems

Full text

Pdf (115 KB)

Source

International Conference on Software Engineering archive
Proceedings of the 14th international conference on Software engineering table of contents

Melbourne, Australia

Pages: 35 - 36

Year of Publication: 1992

ISBN:0-89791-504-6

Author

Andrew Lister

Sponsors

IEEE-CS\TCSE : TC on Software Engineering
ACS :
IEA :
IREE :
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 12, Citation Count: 0

Additional Information:

references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/143062.143084 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	A. Burns , A. M. Lister, A framework for building dependable systems, The Computer Journal, v.34 n.2, p.173-181, April 1991 [doi>10.1093/comjnl/34.2.173]
	2	A. Burns, A. M. Lister and J. A. McDermid. TARDIS: an architatural framework for timely and reliable distributed information systems. Proc. 6th. Australian Software Engineering Conference, pp. 1-15, Sydney, July 1991.
	3	Antoni Diller, Z: An Introduction to Formal Methods, John Wiley & Sons, Inc., New York, NY, 1990
	4	Steve King, Z and the Refinement Calculus, Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development, p.164-188, April 17-21, 1990
	5	F Jahanian , A K Mok, Safety analysis of timing properties in real-time systems, IEEE Transactions on Software Engineering, v.12 n.9, p.890-904, Sept. 1986
	6	Colin J. Fidge, Specification and Verification of Real-Time Behaviour Using Z and RTL, Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, p.393-409, January 08-10, 1992