System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation

International Journal on Software Tools for Technology Transfer - Tập 3 Số 3 - Trang 314-331 - 2001
Hubert Garavel1, César Viho, Massimo Zendri2
1System validation - Research and applications
2bull R&D, Via ai Laboratori Olivetti, 20010 Pregnana, Milanese, Italy, now at ST Microelectronics, 5 chemin de la Dhuy 38240 Meylan, France

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 3 Số 3

314-331

Thông tin tác giả