BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kuhn:Tommy

Contributed to:

DAC 20012001
DAC 19991999

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.