|
1001 |
Challenges and applications of assembly level software model checking Mehler, Tilman, 2005, [Online-Ausg.]
|
|
|
1002 |
Codegeneratoren für MOF-basierte Modellierungssprachen Bichler, Lutz, [2005]
|
|
|
1003 |
Compositional scheduling analysis using standard event models Richter, Kai Robert, 2005
|
|
|
1004 |
COMRADE Kasprzyk, Nico, 2005
|
|
|
1005 |
Control software for reconfigurable coprocessors Hinkelbein, Christian, 2005
|
|
|
1006 |
Defending the right to communicate Bauer, Matthias, 2005
|
|
|
1007 |
Developing mobile agents through a formal approach Barbu, Andreea, 2005
|
|
|
1008 |
Die Macht eines Frontendstandards über einen Backendstandard am Beispiel der Microsoft Office Software als funktionsorientierte Standardapplikation Lehmann, Rainer, [2005]
|
|
|
1009 |
Dynamic META modeling Hausmann, Jan Hendrik, 2005
|
|
|
1010 |
Dynamic software architectures Thöne, Sebastian, 2005
|
|