Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for EuRailCheck with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2009 (1) 2010 (1)
Publication types (Num. hits)
inproceedings(2)
Venues (Conferences, Journals, ...)
ASE(1) ICSE (2)(1)
Authors
Alessandro Cimatti(2) Angelo Susi(2) Marco Roveri(2) Stefano Tonetta(2) Alessandro Mariotti(1) Andrea Micheli(1) Angelo Chiappini(1) Berardino Vittorini(1) Cristian Mattarei(1) Luca Macchi(1) Marco Pensallorto(1) Oscar Rebollo(1) Roberto Cavada(1) Sergio Mover(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 4 keywords
Results
Found 2 publication records. Showing 2 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
83Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi, Stefano Tonetta Supporting Requirements Validation: The EuRailCheck Tool. Search on Bibsonomy ASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF EuRailCheck, formal methods, requirements validation, ETCS
33Angelo Chiappini, Alessandro Cimatti, Luca Macchi, Oscar Rebollo, Marco Roveri, Angelo Susi, Stefano Tonetta, Berardino Vittorini Formalization and validation of a subset of the European Train Control System. Search on Bibsonomy ICSE (2) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF formal methods, methodology, requirements validation
Displaying result #1 - #2 of 2 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license