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 × Canada
1 × France
Collaborated with:
N.Holsti J.v.Wright
Talks about:
algorithm (1) restrict (1) platform (1) theorem (1) softwar (1) concurr (1) reason (1) prover (1) profil (1) impact (1)

Person: Thomas Långbacka

DBLP DBLP: L=aring=ngbacka:Thomas

Contributed to:

Ada-Europe 20032003
CAV 19921992

Wrote 2 papers:

AdaEurope-2003-HolstiL #framework #platform #strict
Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software (NH, TL), pp. 92–101.
CAV-1992-WrightL #algorithm #concurrent #proving #reasoning #theorem proving #using
Using a Theorem Prover for Reasoning about Concurrent Algorithms (JvW, TL), pp. 56–68.

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.