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 × United Kingdom
Collaborated with:
A.Valmari K.Karsisto
Talks about:
behaviour (1) visualis (1) abstract (1) visual (1) safeti (1) design (1) verif (1) reduc (1) tool (1) live (1)

Person: Manu Setälä

DBLP DBLP: Set=auml=l=auml=:Manu

Contributed to:

FME 19961996
PDP 19961996

Wrote 2 papers:

FME-1996-ValmariS #liveness #safety #verification #visual notation
Visual Verification of Safety and Liveness (AV, MS), pp. 228–247.
PDP-1996-ValmariKS #behaviour #design #visualisation
Visualisation of Reduced Abstracted Behaviour as a Design Tool (AV, KK, MS), pp. 187–195.

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.