Zebo Peng · 5 obras en el catálogoObrasSystem synthesis with VHDLSystem-level test and validation of hardware/software systemsAnalysis and synthesis of distributed real-time embedded systemsTTime-Predictable Embedded Software on Multi-Core PlatformsTime-Predictable Embedded Software on Multi-Core PlatformsAA formal methodology for automated synthesis of VLSI systemsA formal methodology for automated synthesis of VLSI systems
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
