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/...
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 |
---|---|
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 |