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. (Request a copy)
Official URL: http://ejournals.worldscientific.com.sg/ijseke/03/...


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
Publication: International Journal of Software Engineering and Knowledge Engineering
Publisher: World Scientific Publishing Company
Additional Information: Copyright of this article belongs to World Scientific Publishing Company.
Department/Centre: Division of Electrical Sciences > Computer Science & Automation
Date Deposited: 28 Feb 2011 10:30
Last Modified: 05 Nov 2018 11:25
URI: http://eprints.iisc.ac.in/id/eprint/35752

Actions (login required)

View Item View Item