CONSTRUCTION OF TIMED AUTOMATA FOR TEMPORAL SPECIFICATION OF A DISTRIBUTED MULTIMEDIA SOFTWARE SYSTEM

 
  • 面向媒体时序描述的带时间自动机的自动构造方法
今日热词
目录 附录 查词历史