2

Run-Time Checking of Dynamic Properties

Year:
2006
Language:
english
File:
PDF, 324 KB
english, 2006
5

Testing and Monitoring Model-based Generated Program

Year:
2003
Language:
english
File:
PDF, 297 KB
english, 2003
12

Generating Reliable Code from Hybrid-Systems Models

Year:
2010
Language:
english
File:
PDF, 1.91 MB
english, 2010
21

Generating embedded software from hierarchical hybrid models

Year:
2003
Language:
english
File:
PDF, 348 KB
english, 2003
28

TLB Index-based Tagging for Reducing Data Cache and TLB Energy Consumption

Year:
2017
Language:
english
File:
PDF, 3.89 MB
english, 2017