Login / Signup

Reliability Demonstration Testing Method for Safety-Critical Embedded Applications Software.

Zhidong QinHui ChenYouqun Shi
Published in: ICESS (2008)
Keyphrases
  • safety critical
  • expert systems
  • embedded systems
  • decision making
  • distributed systems
  • formal methods