News
Abstract: UML sequence diagrams have been widely applied in modeling the interactive behavior among objects. However, the lack of formal semantics makes it difficult to analyze and validate the ...
Kunliulong DC Project is the first UHV multi-terminal hybrid DC in the world. It uses valve-based electronic equipment with domestic technology route, and its internal electrical structure and control ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results