Content
Frontiers of Information Technology & Electronic Engineering >> 2017, Volume 18, Issue 11 doi: 10.1631/FITEE.1601196
Mechanized semantics and refinement of UML-Statecharts
Department of Computer Science and Technology, East China Normal University, Shanghai 200241, China.
Abstract
Keywords
Unified Modeling Language (UML)-Statecharts ; Coq ; Refinement ; Structured operational semantics
Content