BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × France
Collaborated with:
A.Müller T.Grötker P.K.Venkataraghavan T.Ray D.R.Seetharaman
Talks about:
system (2) verif (2) methodolog (1) wireless (1) softwar (1) hardwar (1) environ (1) complex (1) design (1) level (1)

Person: Guido Post

DBLP DBLP: Post:Guido

Contributed to:

DATE v1 20042004
DATE 19981998

Wrote 2 papers:

DATE-v1-2004-PostVRS #verification
A SystemC-Based Verification Methodology for Complex Wireless Software IP (GP, PKV, TR, DRS), pp. 544–551.
DATE-1998-PostMG #design #hardware
A System-Level Co-Verification Environment for ATM Hardware Design (GP, AM, TG), pp. 424–428.
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.