Guest Editors' Introduction: Specification and Analysis of Real-Time Systems

  • Authors:
  • Richard A. Kemmerer;Carlo Ghezzi

  • Affiliations:
  • -;-

  • Venue:
  • IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
  • Year:
  • 1992

Quantified Score

Hi-index 0.00

Visualization

Abstract