System-level test and validation of hardware/software systemsde Zebo PengMateriasComputer systemsTestingComputer programsSystems engineeringComputer input-output equipmentComputersCondensed matterEngineeringComputer scienceElectronicsEngineering design
TTime-Predictable Embedded Software on Multi-Core PlatformsTime-Predictable Embedded Software on Multi-Core Platforms
AA formal methodology for automated synthesis of VLSI systemsA formal methodology for automated synthesis of VLSI systems