Login / Signup

Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings.

Anders WallJohan AnderssonChrister Norström
Published in: ISoLA (2004)
Keyphrases
  • formal analysis
  • maintenance cost
  • real time
  • storage space
  • formal methods
  • low cost
  • artificial intelligence
  • metadata
  • expert systems
  • ban logic