Zebo Peng profile picture

Zebo Peng

System-level Test and Validation of Hardware/Software Systems
A Formal Methodology for Automated Synthesis of VLSI Systems
Real-Time Applications with Stochastic Task Execution Times Analysis and Optimisation
Real-Time Applications with Stochastic Task Execution Times
Time-Predictable Embedded Software on Multi-Core Platforms Analysis and Optimization
Analysis and Synthesis of Distributed Real-Time Embedded Systems
System Synthesis with VHDL
System Synthesis with VHDL
System-level Test and Validation of Hardware/Software Systems
System Synthesis with VHDL
Analysis and Synthesis of Distributed Real-Time Embedded Systems