The Formal Semantics of UML Sequence Diagram Based on Process Algebra

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