31 Results for (keywords:SYSTEMENTWURF)

Subscribe to RSS feed for this result set

Page 1 of 2

1 2 Next Page › Last Page »

2. Bounded Model Checking

Biere, Armin (2000)


Conference Contributions

3. Formal background and algorithms

Biere, Armin (2001)


Conference Contributions

5. Beyond SAT and BDD based model checking

Biere, Armin (2001)


Conference Contributions

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

Naedele, Martin (2000)


Doctoral and Habilitation Theses

12. Distributed embedded systems

Dyer, Matthias (2007)


Doctoral and Habilitation Theses

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

Xiong, Guangwei (1995)


Doctoral and Habilitation Theses

23. Expert system based design of photogrammetric networks

Mason, Scott (1994)


Doctoral and Habilitation Theses

25. Proofs for the working engineer

Mehta, Farhad Dinshaw (2008)


Doctoral and Habilitation Theses


Page 1 of 2

1 2 Next Page › Last Page »