Author: Marek Jersak
Publications
Publication period start: 2003
Number of co-authors: 2
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
Publications
Richter, Kai, Jersak, Marek, Ernst, Rolf (2003): A Formal Approach to MpSoC Performance Verification. In IEEE Computer, 36 (4) pp. 60-67. https://csdl.computer.org/comp/mags/co/2003/04/r4060abs.htm