Author:
de Lemos Rogério,Hall Jon G.
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. T. Anderson, R. de Lemos, J. Fitzgerald and A. Saeed. “On Formal Support for Industrial-Scale Requirements Analysis”. Hybrid Systems. Eds. R. L. Grossman et al. Lectures Notes in Computer Science 736. Springer-Verlag. 1993. pp. 426–451.
2. P. J. Antsaklis, J. A. Stiver, M. Lemmon. “Hybrid System Modelling and Autonomous Control Systems”. Hybrid Systems. Eds. R. L. Grossman et al. Lectures Notes in Computer Science 736. Springer-Verlag. 1993. pp. 367–392.
3. R. de Lemos, A. Saeed, T. Anderson. “Analysing Safety Requirements for Process-Control Systems”. IEEE Software 12. 1995. pp. 42–53.
4. R. de Lemos, A. Saeed, T. Anderson. “Formal Techniques for Requirements Analysis for Safety-Critical Systems”. Mathematics of Dependable Systems. C. Mitchell and V. Stavridou (Eds.). Oxford University Press. 1995. pp. 63–95.
5. R. de Lemos, J. Hall. “ERTL: An Extension to RTL for Requirements Analysis for Hybrid Systems”. Department of Computing Science Technical Report Series. University of Newcastle upon Tyne, UK. (also presented at the 2nd European Workshop on Real-Time and Hybrid Systems. May/June 1995. Grenoble, France).
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献