Information systems modelling with TROLL formal methods at work

  • Authors:
  • Peter Hartel;Grit Denker;Mojgan Kowsari;Maren Krone;Hans-Dieter Ehrich

  • Affiliations:
  • -;-;-;-;-

  • Venue:
  • Information Systems - Special issue: advanced information systems engineering
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract