Compositional model-checking for real-time systems

  • Authors:

  • Hou Jianmin;Li Xuandong;Fan Xiaocon;Zheng Guoliang

  • Affiliations:

  • Department of Computer Science, Nanjing University, Nanjing, 210093, Jiangsu, P.R.China;Department of Computer Science, Nanjing University, Nanjing, 210093, Jiangsu, P.R.China;Department of Computer Science, Nanjing University, Nanjing, 210093, Jiangsu, P.R.China;Department of Computer Science, Nanjing University, Nanjing, 210093, Jiangsu, P.R.China

  • Venue:
  • ACM SIGSOFT Software Engineering Notes
  • Year:
  • 1998

Quantified Score

Hi-index 0.00

Visualization

Abstract