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
![[img]](http://repository.ias.ac.in/style/images/fileicons/application_pdf.png)
|
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
