Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Stefano Bacherini" ( http://dblp.L3S.de/Authors/Stefano_Bacherini )

  Author page on DBLP  Author page in RDF  Community of Stefano Bacherini in ASPL-2

Publication years (Num. hits)
2006 (1) 2009 (1) 2010 (1)
Publication types (Num. hits)
inproceedings(3)
Venues (Conferences, Journals, ...)
FM(1) FMICS(1) ICST(1)
Authors
Alessandro Fantechi(3) Stefano Bacherini(3) Alessio Ferrari(2) Niccolò Zingoni(2) Carlo Becheri(1) Daniele Grasso(1) Matteo Tempestini(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords
Results
Found 3 publication records. Showing 3 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Daniele Grasso, Alessandro Fantechi, Alessio Ferrari, Carlo Becheri, Stefano Bacherini Model Based Testing and Abstract Interpretation in the Railway Signaling Context. Search on Bibsonomy ICST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF abstract interpretation, model based testing, safety critical, railway signaling
1Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni Formal Development for Railway Signaling Using Commercial Tools. Search on Bibsonomy FMICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Stefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccolò Zingoni A Story About Formal Methods Adoption by a Railway Signaling Manufacturer. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #3 of 3 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.