Login / Signup
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems.
Julia Padberg
Bettina Enders
Published in:
ICGT (2002)
Keyphrases
</>
safety critical
embedded systems
intelligent systems
artificial intelligence
expert systems
management system
knowledge based systems