Francisco Mendoza Cervantes

• A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems