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 × Germany
1 × Italy
1 × United Kingdom
Collaborated with:
D.Méry J.P.Gibson S.Merz
Talks about:
verif (2) abstract (1) reactiv (1) diagram (1) tempor (1) tamper (1) system (1) storag (1) specif (1) predic (1)

Person: Dominique Cansell

DBLP DBLP: Cansell:Dominique

Contributed to:

SEFM 20072007
IFM 20002000
SAS 19991999

Wrote 3 papers:

SEFM-2007-CansellGM #verification
Formal verification of tamper-evident storage for e-voting (DC, JPG, DM), pp. 329–338.
IFM-2000-CansellMM #diagrams #verification
Predicate Diagrams for the Verification of Reactive Systems (DC, DM, SM), pp. 380–397.
SAS-1999-CansellM #specification
Abstract Animator for Temporal Specifications: Application to TLA (DC, DM), pp. 284–299.

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.