The RT-LOTOS formal specification of the conditional delivery mechanism

  • Authors:

  • Jean-Pierre Courtiat;Roberto C. de Oliveira;Luz F. R. da Costa Carmo

  • Affiliations:

  • -;-;-

  • Venue:
  • Information Systems - Special issue: multimedia information systems
  • Year:
  • 1995

Quantified Score

Hi-index 0.00

Visualization

Abstract