|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Pascal Fradet, Stéphane Hong Tuan Ha |
Aspects of availability: Enforcing timed properties to prevent denial of service.  |
Sci. Comput. Program.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Botella, Mickaël Delahaye, Stéphane Hong Tuan Ha, Nikolai Kosmatov, Patricia Mouy, Muriel Roger, Nicky Williams |
Automating Structural Testing of C Programs: Experience with PathCrawler.  |
AST  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Fradet, Stéphane Hong Tuan Ha |
Aspects of availability.  |
GPCE  |
2007 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, resource management, availability, timed automata, denial of service, weaving |
| 1 | Pascal Fradet, Stéphane Hong Tuan Ha |
Systèmes de gestion de ressources et aspects de disponibilité.  |
L'OBJET  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Pascal Fradet, Stéphane Hong Tuan Ha |
Network Fusion.  |
APLAS  |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|