29 Results for (keywords:SYSTEMENTWURF)

Subscribe to RSS feed for this result set

Page 1 of 2

1 2 Next Page › Last Page »

2. Beyond SAT and BDD based model checking

Biere, Armin (2001)


Conference Contributions

3. Bounded Model Checking

Biere, Armin (2000)


Conference Contributions

6. On the modeling and evaluation of real-time systems

Naedele, Martin (2000)


Doctoral and Habilitation Theses

14. Distributed embedded systems

Dyer, Matthias (2007)


Doctoral and Habilitation Theses

20. Computergestützte Planung der Baustellen-Abläufe

Xiong, Guangwei (1995)


Doctoral and Habilitation Theses

22. Expert system based design of photogrammetric networks

Mason, Scott (1994)


Doctoral and Habilitation Theses

23. Debora

Heeb, Beat Urs (1993)


Doctoral and Habilitation Theses


Page 1 of 2

1 2 Next Page › Last Page »