Real-time reactive system development: a formal approach based on uml and pvs

  • Authors:
  • V. S. Alagar;Darmalingum Muthiayen

  • Affiliations:
  • -;-

  • Venue:
  • Real-time reactive system development: a formal approach based on uml and pvs
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract