Login / Signup

An industrial evaluation of SysML: The case of a nuclear automation modernization project.

Pekka PihlankoSeppo SierlaKleanthis ThramboulidisMauri Viitasalo
Published in: ETFA (2013)
Keyphrases
  • technology transfer
  • case study
  • gold standard
  • industrial automation
  • learning community
  • formal methods
  • formative evaluation
  • data mining
  • digital libraries
  • model checking
  • evaluation method
  • evaluation process