14 Results for (keywords_en:ABSTRACT DEVICES)

Subscribe to RSS feed for this result set

1. On principles of cortical computation

Krautz, Christoph (2012)


Doctoral and Habilitation Theses

2. A security logic for abstract state machines

Nanchen, Stanislas and Stärk, Robert F. (2003)


Reports

3. An ASM macro language for sets

Kutter, Philipp W. (1998)


Reports

4. The formal definition of Anlauff's eXtensible abstract state machines

Kutter, Philipp W. (2002)


Reports

5. Mapping automata

Janneck, Jörn Wilhelm and Kutter, Philipp W. (1998)


Reports

6. Object-based abstract state machines

Janneck, Jörn Wilhelm and Kutter, Philipp W. (1998)


Reports

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

Strehl, Karsten (1998)


Reports

8. The hidden computation steps of Turbo Abstract State Machines

Fruja, Nicu Georgian and Stärk, Robert F. (2003)


Reports

9. Verifying abstract state machines

Nanchen, Stanislas (2007)


Doctoral and Habilitation Theses

10. HOST

Kiener, Michel and Ultsch, Alfred G.H. (1987)


Reports

11. Konrad Zuse und die ETH Zürich

Bruderer, Herbert (2011)


Reports

12. Complexity classes of finite automata

Královič, Richard (2010)


Doctoral and Habilitation Theses

13. SCSM - synchronous composition of sequential machines

Fierz, Hugo (1994)


Reports

14. Modeling and reach-set computation for analysis and optimal control of discrete hybrid automata

Torrisi, Fabio Danilo (2003)


Doctoral and Habilitation Theses