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 × USA
Collaborated with:
D.L.Dill S.Gupta T.Koyama T.Omizo J.Abdulhafiz L.McConville T.Swanson
Talks about:
processor (1) broadband (1) enginetm (1) generat (1) coverag (1) specif (1) metric (1) formal (1) verif (1) simul (1)

Person: Kanna Shimizu

DBLP DBLP: Shimizu:Kanna

Contributed to:

DAC 20062006
DAC 20022002

Wrote 2 papers:

DAC-2006-ShimizuGKOAMS #verification
Verification of the cell broadband engineTM processor (KS, SG, TK, TO, JA, LM, TS), pp. 338–343.
DAC-2002-ShimizuD #generative #metric #simulation #specification
Deriving a simulation input generator and a coverage metric from a formal specification (KS, DLD), pp. 801–806.

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.