Skip to main content
Skip to navigation
Skip to toolbar

Browse by Author

5 Results for Strehl, Karsten

Subscribe to RSS feed for this result set

Sort results by

Results per page

1. Fuzzy decision diagrams for the representation, analysis, and optimization of rule bases

Strehl, Karsten, Moraga, Claudio, Temme, Karl-Heinz and Stancović, Radomir (1999)

Reports Reports

2. Scheduling Hardware/Software systems using symbolic techniques

Strehl, Karsten, Thiele, Lothar, Ziegenbein, Dirk and Ernst, Rolf (1999)

Reports Reports

3. Symbolic methods applied to formal verification and synthesis in embedded systems design

Strehl, Karsten (2000)

Doctoral and Habilitation Theses

4. Symbolic model checking using interval diagram techniques

Strehl, Karsten and Thiele, Lothar (1998)

Reports Reports

5. Using interval diagram techniques for the symbolic verification of timed automata

Strehl, Karsten (1998)

Reports Reports