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

Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems.

Mohamed Oussama Ben SalemOlfa MosbahiMohamed KhalguiGeorg Frey
Published in: ICSOFT-PT (2015)
Keyphrases
  • formal methods
  • control system
  • software engineering
  • lightweight
  • model checking
  • integer programming
  • mathematical model
  • artificial intelligence
  • closed form
  • exact solution
  • formal analysis
  • model driven engineering