The Formal Semantics of UML Sequence Diagram Based on Process Algebra

  • 基于进程代数的UML序列图的形式语义
目录 查词历史