uml interactive overview diagram
...uml交互概观图模型；接口自动机；即时验证算法；形式化验证工具 [gap=1314]keywords: computer application technology;embedded software design;uml interactive overview diagram;interface automata;on-the-fly verification algorithm;formal verification tool ..
基于5个网页-相关网页