Author: Marek Jersak
Publication Overview
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