Design and Implementation of SysML Activity Diagram Simulation Function Based on fUML Specification.
Bo HuangYubiao LiuXinfeng WuJiyuan LvYusheng LiuPublished in: CRC (2022)
Keyphrases
- formal methods
- implementation issues
- user interface
- knowledge based systems
- design methodology
- design process
- simulation tools
- platform independent
- hardware design
- case study
- simulation model
- collaborative learning
- current status
- rapid prototyping
- formal verification
- conceptual model
- code generation
- design methodologies
- simulation software
- mathematical model