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 × Korea
Collaborated with:
A.Bonenfant Z.Chen K.Hammond G.Michaelson A.M.Wallace
Talks about:
softwar (1) resourc (1) process (1) certifi (1) toward (1) formal (1) exampl (1) applic (1) model (1) time (1)

Person: Iain Wallace

DBLP DBLP: Wallace:Iain

Contributed to:

SAC 20072007

Wrote 1 papers:

SAC-2007-BonenfantCHMWW #cost analysis #towards
Towards resource-certified software: a formal cost model for time and its application to an image-processing example (AB, ZC, KH, GM, AMW, IW), pp. 1307–1314.

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.