Real-Time Object-Oriented Design and Formal Methods

  • Authors:
  • Juan Antonio De La Puente

  • Affiliations:
  • Dept. of Telematics Engineering, School of Telecommunication, Technical University of Madrid

  • Venue:
  • Real-Time Systems - Selected papers from IFAC/IFIP workshops on real-time programming
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract