Login / Signup

Formal modeling and reasoning for reliability analysis.

Natasa Miskov-ZivanovDiana Marculescu
Published in: DAC (2010)
Keyphrases
  • reliability analysis
  • formal models
  • knowledge base
  • knowledge sharing and reuse
  • real world
  • knowledge representation
  • case based reasoning
  • object oriented
  • formal model
  • reasoning process