So the thesis presents integrating Z and timed CSP.

 
  • Z語(yǔ)言和實(shí)時(shí)timed CSP進(jìn)行集成后,稱(chēng)為RT-Z。 因此RT-Z是一種集成形式化規格說(shuō)明語(yǔ)言。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan