43 Results for (keywords:SYSTEMANALYSE)

Subscribe to RSS feed for this result set

Page 1 of 2

1 2 Next Page › Last Page »

1. Formal background and algorithms

Biere, Armin (2001)


Conference Contributions

4. Applying the roofline model

Steinmann, Ruedi (2012)


Master and Bachelor Theses

6. Beyond SAT and BDD based model checking

Biere, Armin (2001)


Conference Contributions

8. Bounded Model Checking

Biere, Armin (2000)


Conference Contributions

11. Proofs for the working engineer

Mehta, Farhad Dinshaw (2008)


Doctoral and Habilitation Theses

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

Naedele, Martin (2000)


Doctoral and Habilitation Theses

24. Distributed embedded systems

Dyer, Matthias (2007)


Doctoral and Habilitation Theses


Page 1 of 2

1 2 Next Page › Last Page »