BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
Collaborated with:
N.Bombieri G.Pravadelli F.Stefanni
Talks about:
properti (1) abstract (1) assert (1) verif (1) base (1) tlm (1) rtl (1)

Person: Riccardo Filippozzi

DBLP DBLP: Filippozzi:Riccardo

Contributed to:

DATE 20152015

Wrote 1 papers:

DATE-2015-BombieriFPS #abstraction #verification
RTL property abstraction for TLM assertion-based verification (NB, RF, GP, FS), pp. 85–90.

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.