Stéphane Hong Tuan Ha

Publication Activity (10 Years)

Years Active: 2004-2010
Publications (10 Years): 0

Publications

Pascal Fradet, Stéphane Hong Tuan Ha
Aspects of availability: Enforcing timed properties to prevent denial of service. Sci. Comput. Program. 75 (7) (2010)
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)
Pascal Fradet, Stéphane Hong Tuan Ha
Aspects of availability. GPCE (2007)
Pascal Fradet, Stéphane Hong Tuan Ha
Systèmes de gestion de ressources et aspects de disponibilité. Obj. Logiciel Base données Réseaux 12 (2-3) (2006)
Pascal Fradet, Stéphane Hong Tuan Ha
Network Fusion. APLAS (2004)