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

Yu, HQ, He, XD, Deng, Y et al. (2002). Formal analysis of real-time systems with SAM . FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2495



International Collaboration

cited authors

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

fiu authors

publication date

  • 2002

author keyword

volume

  • 2495

research area