ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Specification of Real-Time Systems

Patnaik, LM and Mall, R (1993) Specification of Real-Time Systems. In: International Journal of Software Engineering and Knowledge Engineering, 3 (2). pp. 267-285.

Full text not available from this repository.
Official URL: http://ejournals.worldscientific.com.sg/ijseke/03/...

Abstract

Inspite of numerous research advancements made in recent years in the area of formal techniques, specification of real-time systems is still proving to be a very challenging and difficult problem. In this context, this paper critically examines state-of-the-art specification techniques for real-time systems and analyzes the emerging trends.

Item Type: Journal Article
Additional Information: Copyright of this article belongs to World Scientific Publishing Company.
Department/Centre: Division of Electrical Sciences > Computer Science & Automation (Formerly, School of Automation)
Others
Date Deposited: 28 Feb 2011 10:30
Last Modified: 28 Feb 2011 10:30
URI: http://eprints.iisc.ernet.in/id/eprint/35752

Actions (login required)

View Item View Item