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 × Switzerland
Collaborated with:
R.R.Lutz J.H.Lutz J.I.Lathrop E.Henderson D.Mathur D.A.Sheasha
Talks about:
nanomachin (1) programm (1) assembl (1) verifi (1) requir (1) engin (1) self (1)

Person: Titus Klinge

DBLP DBLP: Klinge:Titus

Contributed to:

ICSE 20122012

Wrote 1 papers:

ICSE-2012-LutzLLKHMS #programmable #requirements #self #verification
Engineering and verifying requirements for programmable self-assembling nanomachines (RRL, JHL, JIL, TK, EH, DM, DAS), pp. 1361–1364.
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.