Login / Signup

Formal Support for the Safety Analysis of Requirement Models.

Ken ChanClive FencottBarry D. Hebbron
Published in: SAFECOMP (1995)
Keyphrases
  • safety analysis
  • cooperative
  • low cost
  • artificial intelligence
  • orders of magnitude
  • complex systems