Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Hit-or-Jump (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1999 (1) 2007 (2)
Publication types (Num. hits)
inproceedings(3)
Venues (Conferences, Journals, ...)
FORTE(2) RTCSA(1)
Authors
Ana R. Cavalli(3) Elisangela Rodrigues Vieira(2) Christian Rinderknecht(1) David Lee 0001(1) Fatiha Zaïdi(1) M. Ümit Uyar(1) Samrat S. Batth(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 3 publication records. Showing 3 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
51Samrat S. Batth, Elisangela Rodrigues Vieira, Ana R. Cavalli, M. Ümit Uyar Specification of Timed EFSM Fault Models in SDL. Search on Bibsonomy FORTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Timing Fault Models, Hit-or-Jump, SDL, Extended Finite State Machines
25Ana R. Cavalli, David Lee 0001, Christian Rinderknecht, Fatiha Zaïdi Hit-or-Jump: An algorithm for embedded testing with applications to IN services. Search on Bibsonomy FORTE The full citation details ... 1999 DBLP  BibTeX  RDF
16Elisangela Rodrigues Vieira, Ana R. Cavalli Towards an Automated Test Generation with Delayed Transitions for Timed Systems. Search on Bibsonomy RTCSA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #3 of 3 (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