29 Results for (keywords:SYSTEMENTWURF)

Subscribe to RSS feed for this result set

Page 1 of 2

1 2 Next Page › Last Page »

3. Bounded Model Checking

Biere, Armin (2000)


Conference Contributions

4. Beyond SAT and BDD based model checking

Biere, Armin (2001)


Conference Contributions

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

Naedele, Martin (2000)


Doctoral and Habilitation Theses

11. Distributed embedded systems

Dyer, Matthias (2007)


Doctoral and Habilitation Theses

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

Xiong, Guangwei (1995)


Doctoral and Habilitation Theses

20. Expert system based design of photogrammetric networks

Mason, Scott (1994)


Doctoral and Habilitation Theses

21. Debora

Heeb, Beat Urs (1993)


Doctoral and Habilitation Theses

25. Modularity as a systems design principle

Rellermeyer, Jan S. (2011)


Doctoral and Habilitation Theses


Page 1 of 2

1 2 Next Page › Last Page »