Login / Signup

R-UML: An UML Profile for Verification of Flexible Control Systems.

Mohamed Oussama Ben SalemOlfa MosbahiMohamed KhalguiGeorg Frey
Published in: ICSOFT (Selected Papers) (2015)
Keyphrases
  • uml profile
  • metamodel
  • control system
  • modeling language
  • model checking
  • data model
  • lightweight
  • model driven architecture
  • case study
  • database
  • learning environment
  • access control
  • black box