|
2781 |
Challenges and applications of assembly level software model checking Mehler, Tilman, 2005
|
|
|
2782 |
Challenges and applications of assembly level software model checking Mehler, Tilman, 2005, [Online-Ausg.]
|
|
|
2783 |
Codegeneratoren für MOF-basierte Modellierungssprachen Bichler, Lutz, [2005]
|
|
|
2784 |
Compositional scheduling analysis using standard event models Richter, Kai Robert, 2005
|
|
|
2785 |
Compositional scheduling analysis using standard event models Richter, Kai Robert, 2005
|
|
|
2786 |
COMRADE Kasprzyk, Nico, 2005
|
|
|
2787 |
COMRADE Kasprzyk, Nico, 2005
|
|
|
2788 |
COMRADE Kasprzyk, Nico, 2005
|
|
|
2789 |
Control software for reconfigurable coprocessors Hinkelbein, Christian, 2005
|
|
|
2790 |
Control software for reconfigurable coprocessors Hinkelbein, Christian, 2005
|
|