Refinement-based formal verification with heterogeneous timing

International Journal on Software Tools for Technology Transfer - Tập 4 Số 3 - Trang 359-370 - 2003
Xiaohua Kong1, R. Negulescu1, Larry Weidong Ying2
1Dept. of ECE, McGill University, Montreal, Quebec, Canada, H3A 2A7; E-mail: {kong,radu}@macs.ece.mcgill.ca, CA
2Qualcomm Incorporated, San Diego, CA 92121, USA; E-mail: [email protected], US

Tóm tắt

Từ khóa


Tài liệu tham khảo

Thông tin
Thông tin xuất bản

International Journal on Software Tools for Technology Transfer

Tập 4 Số 3

359-370

Thông tin tác giả