So the thesis presents integrating Z and timed CSP.
英
美
Z语言和实时timed CSP进行集成后,称为RT-Z。 因此RT-Z是一种集成形式化规格说明语言。
目录
查词历史
英 汉