Interfaces for control components

  • Authors:
  • Rajeev Alur

  • Affiliations:
  • University of Pennsylvania

  • Venue:
  • FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract