Sign in

A Tool for Transforming SysML State Machine into Uppaal Automatically.

Shaopeng WangJianqi ShiYanhong HuangYang Yang
Published in: SMC (2023)
Keyphrases
  • state machine
  • state machines
  • finite state machines
  • fault tolerant
  • model checking
  • automatically generated
  • helping users
  • software tools
  • modeling language