Érik Martin-Dorel

Documents

Identifiants chercheurs

Présentation

837200

	Stochastic Formal Methods for Hybrid Systems Marc Daumas , David Lester , Erik Martin-Dorel , Annick Truffert 2009 Pré-publication, Document de travail hal-00107495v5
	Bornes quasi-certaines sur l'accumulation d'erreurs infimes dans les systèmes hybrides Marc Daumas , Erik Martin-Dorel , Annick Truffert 2008 Pré-publication, Document de travail hal-00333895v1