Rule-based refinement of high-level nets preserving safety properties

  • Authors:
  • J. Padberg;M. Gajewsky;C. Ermel

  • Affiliations:
  • -;-;-

  • Venue:
  • Science of Computer Programming - Specical issue on fundamental approaches to software engineering
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract