登陆
注册
工具列表
Tool list
PAT
2020-06-01
203
-
A Formal Semantics for Complete UML State Machines with Communications
UML is a widely used notation, and formalizing its semantics is an important issue. Here, we concent...
-
Dynamic synthesis of local time requirement for service composition
Service composition makes use of existing service-based applications as components to achieve a busi...
-
Modeling and verifying hierarchical real-time systems using stateful timed CSP
Modeling and verifying complex real-time systems are challenging research problems. The de facto app...
