3

The properties of stuttered words

Year:
1966
Language:
english
File:
PDF, 490 KB
english, 1966
7

Configuration Analysis of Plug-in Hybrid Systems using Global Optimization

Year:
2013
Language:
english
File:
PDF, 792 KB
english, 2013
13

Run-Time Checking of Dynamic Properties

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

Testing and Monitoring Model-based Generated Program

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

Generating Reliable Code from Hybrid-Systems Models

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