Login / Signup

Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems.

Julia PadbergBettina Enders
Published in: ICGT (2002)
Keyphrases
  • safety critical
  • embedded systems
  • intelligent systems
  • artificial intelligence
  • expert systems
  • management system
  • knowledge based systems