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.
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)
|Date Deposited:||28 Feb 2011 10:30|
|Last Modified:||28 Feb 2011 10:30|
Actions (login required)