Stepwise design of real-time systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Functional specification of time-sensitive communicating systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Stepwise Design of Real-Time Systems
IEEE Transactions on Software Engineering
Real-time specification and modeling with joint actions
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
A compositional proof system for real-time systems based on explicit clock temporal logic
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Hi-index | 0.00 |