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
1 × USA
Collaborated with:
I.Moon G.D.Hachtel S.Qadeer M.Kaufmann C.Pixley
Talks about:
abstract (1) formal (1) verif (1) studi (1) model (1) check (1) iter (1) fire (1) case (1) base (1)

Person: Jae-Young Jang

DBLP DBLP: Jang:Jae=Young

Contributed to:

DATE 20002000
DAC 19971997

Wrote 2 papers:

DATE-2000-JangMH #model checking
Iterative Abstraction-Based CTL Model Checking (JYJ, IHM, GDH), pp. 502–507.
DAC-1997-JangQKP #case study #verification
Formal Verification of FIRE: A Case Study (JYJ, SQ, MK, CP), pp. 173–177.

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.