Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Matteo Tempestini" ( http://dblp.L3S.de/Authors/Matteo_Tempestini )

  Author page on DBLP  Author page in RDF  Community of Matteo Tempestini in ASPL-2

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

Group by:
No Growbag Graphs found.
Results
Found 3 publication records. Showing 3 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi, Matteo Tempestini Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer. Search on Bibsonomy IJERTCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessio Ferrari, Daniele Grasso, Gianluca Magnani, Alessandro Fantechi, Matteo Tempestini The Metrô Rio ATP Case Study. Search on Bibsonomy FMICS The full citation details ... 2010 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.