Automatic Transform UML Statechart into PVS

英 美
  • 从UML状态图到PVS规范的自动转换、验证
目录 查词历史