IEEE - Institute of Electrical and Electronics Engineers, Inc. - On the use of formal techniques for analyzing dependable real-time protocols

Proceedings 20th IEEE Real-Time Systems. Symposium

Author(s): Sinha, P. ; Suri, N.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1999
Conference Location: Phoenix, AZ, USA, USA
Conference Date: 1 December 1999
Page(s): 126 - 135
ISBN (Paper): 0-7695-0475-2
ISSN (Paper): 1052-8725
DOI: 10.1109/REAL.1999.818834
Regular:

The effective design of composite dependable and real time protocols entails demonstrating their proof of correctness and, in practice, the efficient delivery of services. We focus on these... View More

Advertisement