Travelled to:
1 × USA
Collaborated with:
∅
Talks about:
hardwar (1) system (1) reason (1) hybrid (1) compos (1) model (1) about (1)
Person: E. Thomas Schubert
DBLP: Schubert:E=_Thomas
Contributed to:
Wrote 1 papers:
- CAV-1994-Schubert #hardware #hybrid #reasoning
- A Hybrid Model for Reasoning about Composed Hardware Systems (ETS), pp. 260–272.