A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems Francisco Mendoza Cervantes - Paperback £45.00 Find out more