A compositional architecture for simple design formally specified in DESIRE

  • Authors:
  • Izak van Langevelde;Albert Philipsen;Jan Treur

  • Affiliations:
  • -;-;-

  • Venue:
  • Formal specification of complex reasoning systems
  • Year:
  • 1993

Quantified Score

Hi-index 0.00

Visualization

Abstract