A rely-guarantee discipline for open distributed systems design

  • Authors:
  • Carlos H. C. Duarte;Tom Maibaum

  • Affiliations:
  • -;-

  • Venue:
  • Information Processing Letters - Special issue analytical theory of fuzzy control with applications
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract