Login / Signup

Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do.

Brian ButkaJanusz ZalewskiAndrew J. Kornecki
Published in: SAFECOMP (2009)
Keyphrases
  • safety critical
  • formal methods
  • real time
  • low cost
  • embedded systems
  • case based reasoning
  • distributed systems
  • safety analysis