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 × Canada
1 × France
Collaborated with:
A.Fantechi M.Tempestini N.Zingoni D.Grasso A.Ferrari C.Becheri
Talks about:
railway (2) signal (2) manufactur (1) interpret (1) abstract (1) context (1) method (1) formal (1) stori (1) model (1)

Person: Stefano Bacherini

DBLP DBLP: Bacherini:Stefano

Contributed to:

ICST 20102010
FM 20062006

Wrote 2 papers:

ICST-2010-GrassoFFBB #abstract interpretation #modelling #testing
Model Based Testing and Abstract Interpretation in the Railway Signaling Context (DG, AF, AF, CB, SB), pp. 103–106.
FM-2006-BacheriniFTZ #formal method
A Story About Formal Methods Adoption by a Railway Signaling Manufacturer (SB, AF, MT, NZ), pp. 179–189.

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.