Some Trends in Formal Methods Applications to Railway Signaling

The work

TitleSome Trends in Formal Methods Applications to Railway Signaling
AuthorsAlessandro Fantechi; Wan Fokkink; Angelo Morzenti
Typechapter in a collection
Year2012
Citekeyfantechi2012some

Where it appeared

Published inFormal Methods for Industrial Critical Systems
PublisherWiley
Pages61--84

Identifiers

DOI10.1002/9781118459898.ch4

Where this came from

How it got herealready cited · cited in bibtex
First seen2026-08-11
Recordreviewed by a person
Approved2026-08-11
In: Do formal methods pay off? topic drheap project When software kills topic

Cite it as

@incollection{fantechi2012some,
  title = {Some Trends in Formal Methods Applications to Railway Signaling},
  author = {Alessandro Fantechi and Wan Fokkink and Angelo Morzenti},
  year = {2012},
  booktitle = {Formal Methods for Industrial Critical Systems},
  pages = {61--84},
  publisher = {Wiley},
  doi = {10.1002/9781118459898.ch4},
}

This record lives at https://refs.drheap.org/fantechi2012some/ and will keep doing so.