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

Towards pattern-based reuse in safety-critical systems.

Nermin KajtazovicChristopher PreschernAndrea HöllerChristian Kreiner
Published in: EuroPLoP (2014)
Keyphrases
  • safety critical
  • formal methods
  • safety analysis
  • embedded systems
  • fault tolerant
  • real time
  • nuclear power plant
  • databases
  • agent architecture
  • support systems
  • artificial intelligence
  • knowledge based systems