Formal analysis of real-time systems with SAM Article Proceedings Paper

International Collaboration

cited authors

  • Yu, HQ; He, XD; Deng, Y; Mo, LA; George, C; Miao, H

publication date

  • 2002

author keyword

category

volume

  • 2495

research area