dblp.uni-trier.dewww.uni-trier.de

Huafeng Yu

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
3EEAbdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, Jean-Luc Dekeyser: Modeling and Formal Validation of High-Performance Embedded Systems. ISPDC 2008: 215-222
2007
2 Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser: Model Transformations from a Data Parallel Formalism towards Synchronous Languages. FDL 2007: 255-260
2006
1EEAlain Girault, Huafeng Yu: A flexible method to tolerate value sensor failures. ETFA 2006: 86-93

Coauthor Index

1Pierre Boulet [3]
2Jean-Luc Dekeyser [2] [3]
3Abdoulaye Gamatié [2] [3]
4Alain Girault [1]
5Éric Rutten [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)