Static analysis of real-time distributed systems

Authors:
Leo YuHsiang Liu;R. K. Shyamasundar
Affiliations:
The Pennsylvania State Univ., Univ. Park;The Pennsylvania State Univ., Univ. Park
Venue:
Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Year:
1988

Citing 0
Cited 2

An operational semantics of real time design language RT-CDL

IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Reasoning of real-time distributed programming languages

IWSSD '89 Proceedings of the 5th international workshop on Software specification and design

Quantified Score

Hi-index	0.00

Visualization

Abstract