• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A harmonised model for safety assessment and certification of safety-critical systems in the transportation industries.

Yiannis PapadopoulosJohn Alexander McDermid
Published in: Requir. Eng. (1998)
Keyphrases
  • safety critical
  • safety analysis
  • management system
  • fault tolerant
  • embedded systems
  • formal methods
  • symbolic model checking
  • real time
  • expert systems
  • control system
  • user model