Shyamasundar, R. K. ; Ramesh, S. (1992) Modelling real-time systems: issues and challenges Sadhana (Academy Proceedings in Engineering Sciences), 17 (1). pp. 1-28. ISSN 0256-2499
![]()
|
PDF
- Publisher Version
2MB |
Official URL: http://www.ias.ac.in/j_archive/sadhana/17/1/1-28/v...
Related URL: http://dx.doi.org/10.1007/BF02811337
Abstract
In this paper, we discuss the issues and challenges that lie in the specification, development, and verification of real-time systems. In our presentation, we emphasize on the issues underlying modelling of real-time distributed concurrency.
Item Type: | Article |
---|---|
Source: | Copyright of this article belongs to Indian Academy of Sciences. |
Keywords: | Real-time; Reactive Systems; Concurrency; Bisimulation; Trace Equivalence; Scheduling |
ID Code: | 56566 |
Deposited On: | 24 Aug 2011 10:57 |
Last Modified: | 18 May 2016 08:20 |
Repository Staff Only: item control page