Travelled to:2 × USA
Collaborated with:W.Rosenstiel U.Kebschull T.Oppold M.Winterholer M.Edwards Y.Kashai
Talks about:hardwar (2) framework (1) synthesi (1) descript (1) softwar (1) system (1) specif (1) orient (1) object (1) verif (1)
Person: Tommy Kuhn
DBLP: Kuhn:Tommy
Contributed to:
20011999Wrote 2 papers:
- DAC-2001-KuhnOWREK #framework #hardware #object-oriented #specification #synthesis #verification
- A Framework for Object Oriented Hardware Specification, Verification, and Synthesis (TK, TO, MW, WR, ME, YK), pp. 413–418.
- DAC-1999-KuhnRK #hardware #java #simulation
- Description and Simulation of Hardware/Software Systems with Java (TK, WR, UK), pp. 790–793.