Login / Signup

Methods of checking general safety criteria in UML statechart specifications.

Zsigmond PapIstván MajzikAndrás PatariczaAndrás Szegi
Published in: Reliab. Eng. Syst. Saf. (2005)
Keyphrases
  • significant improvement
  • special case
  • high level
  • machine learning methods
  • evaluation criteria
  • feature selection
  • data model
  • computational cost
  • empirical studies
  • benchmark datasets
  • qualitative and quantitative