Login / Signup

A first attempt to combine SysML requirements diagrams and B.

Régine LaleauFarida SemmakAbderrahman MatoussiDorian PetitAhmed HammadBruno Tatibouët
Published in: Innov. Syst. Softw. Eng. (2010)
Keyphrases
  • user requirements
  • control system
  • combining multiple
  • formal methods
  • safety analysis
  • genetic algorithm
  • social networks
  • knowledge base
  • case study
  • real time systems
  • class diagram