Correctness of real time systems by construction-Reference-Cited by-同舟云学术

Correctness of real time systems by construction

Published:1994 Issue: Volume: Page:19-40
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Hooman Jozef

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58468-4_158.pdf

Reference10 articles.

1. T. Anderson, R. de Lemos, J.S. Fitzgerald, and A. Saeed. On formal support for industrial-scale requirements analysis. In Workshop on Theory of Hybrid Systems, pages 426–451. LNCS 736, 1993.

2. C.A.R. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12(10):576–580,583, 1969.

3. J. Hooman. Specification and Compositional Verification of Real-Time Systems. LNCS 558, Springer-Verlag, 1991.

4. J. Hooman. A compositional approach to the design of hybrid systems. In Workshop on Theory of Hybrid Systems, pages 121–148. LNCS 736, 1993.

5. J. Hooman. Compositional verification of a distributed real-time arbitration protocol. Real-Time Systems, 6:173–205, 1994.

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Semantic models of a timed distributed dataspace architecture;Theoretical Computer Science;2005-02

2. Formal Specification and Verification of Resource Bound Security Using PVS;Lecture Notes in Computer Science;2004

3. Equivalent Semantic Models for a Distributed Dataspace Architecture;Formal Methods for Components and Objects;2003

4. TINMAN: A Resource Bound Security Checking System for Mobile Code;Computer Security — ESORICS 2002;2002

5. Automated deductive requirements analysis of critical systems;ACM Transactions on Software Engineering and Methodology;2001-07