Subject
Hardware and Architecture,Software
Reference9 articles.
1. A framework for building depend-able systems;Bums;The Computer Journal,1991
2. Specification and compositional verification of real-time systems;Hooman,1991
3. A compositional approach to the design of hybrid systems;Hooman,1993
4. Compositional verification of a distributed real-time arbitration protocol;Hooman;Real-Time Systems,1994
5. Correctness of real time systems by construction;Hooman;Formal Techniques in Real-Time and Fault-Tolerant Systems,1994
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献