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:
1 × Denmark
Collaborated with:
B.Hoxha G.E.Fainekos
Talks about:
properti (1) parametr (1) tempor (1) system (1) queri (1) logic (1) embed (1)

Person: Hengyi Yang

DBLP DBLP: Yang:Hengyi

Contributed to:

ICTSS 20122012

Wrote 1 papers:

ICTSS-2012-YangHF #embedded #logic #parametricity #query
Querying Parametric Temporal Logic Properties on Embedded Systems (HY, BH, GEF), pp. 136–151.

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.