A hybrid framework for resource verification in executable model-based embedded system development.

Tue, 01 Jan 2008 00:00:00 +0100

Honguk Woo, Aloysius K. Mok, James C. Browne:
A hybrid framework for resource verification in executable model-based embedded system development. SIGBED Rev. 5(1): 5 (2008)