Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems

  • Authors:

  • Jan Vytopil

  • Affiliations:

  • -

  • Venue:
  • Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
  • Year:
  • 1992

  • Interface models

    CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design

Quantified Score

Hi-index 0.00

Visualization

Abstract