Functional specification of time sensitive communicating systems
Authors:
M. Broy
Affiliations:
-
Venue:
REX workshop Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness
Year:
1990
Citing
0
Cited
1
Compositional refinement of interactive systems
Journal of the ACM (JACM)
Quantified Score
Hi-index
0.00
Visualization
Abstract