Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Daniel Tang" ( http://dblp.L3S.de/Authors/Daniel_Tang )

  Author page on DBLP  Author page in RDF  Community of Daniel Tang in ASPL-2

Publication years (Num. hits)
2009 (1) 2010 (2)
Publication types (Num. hits)
inproceedings(3)
Venues (Conferences, Journals, ...)
JTRES(3)
Authors
Daniel Tang(3) Jan Vitek(3) Ales Plsek(2) Lei Zhao(2) Tomas Kalibera(1) Veysel H. Sahin(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 6 keywords
Results
Found 3 publication records. Showing 3 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Daniel Tang, Ales Plsek, Jan Vitek Static checking of safety critical Java annotations. Search on Bibsonomy JTRES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF verification, annotations, safety critical systems, memory safety
1Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek Developing safety critical Java applications with oSCJ/L0. Search on Bibsonomy JTRES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF memory management, Java virtual machine, safety critical systems
1Lei Zhao, Daniel Tang, Jan Vitek A technology compatibility kit for safety critical Java. Search on Bibsonomy JTRES The full citation details ... 2009 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.