RWTH Aachen, Dept. of Computer Science
ISSNs: 0935–3232
Local database
Journal
Publications
(2)- Published
Model-based analysis of embedded java programs
Publication: Research - peer-review › Conference article in Journal
- Published
WCET Analysis of ARM Processors using Real-Time Model Checking
Publication: Research - peer-review › Conference article in Journal
ID: 19641717