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 × USA
Collaborated with:
R.K.Brayton A.Aziz F.Balarin S.Cheng R.Hojati T.Kam S.C.Krishnan R.K.Ranjan T.R.Shiple V.Singhal S.Tasiran A.L.Sangiovanni-Vincentelli
Talks about:
permiss (1) network (1) environ (1) observ (1) formal (1) verif (1) relat (1) hsis (1) base (1) fsm (1)

Person: Huey-Yih Wang

DBLP DBLP: Wang:Huey=Yih

Contributed to:

DAC 19941994

Wrote 2 papers:

DAC-1994-AzizBCHKKRSSTWBS #named #verification
HSIS: A BDD-Based Environment for Formal Verification (AA, FB, STC, RH, TK, SCK, RKR, TRS, VS, ST, HYW, RKB, ALSV), pp. 454–459.
DAC-1994-WangB #automaton #network
Permissible Observability Relations in FSM Networks (HYW, RKB), pp. 677–683.

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.