www.telecom-bretagne.eu Brest Telecom Bretagne main campus

First Page		Document Content
Date: 2014-01-24 11:37:59 Grands établissements French society École nationale supérieure des télécommunications de Bretagne Telecom SudParis European University of Brittany Télécom ParisTech Telecom & Management SudParis ParisTech Brest France Grandes écoles Education in France France		www.telecom-bretagne.eu Brest Telecom Bretagne main campus Add to Reading List Source URL: www.telecom-bretagne.eu Download Document from Source Website File Size: 2,11 MB Share Document on Facebook

	Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables Alexandre Chapoutot LIP6 - Universit´e Pierre et Marie Curie 4, place Jussieur FParis Cedex 05 France DocID: 1xVDW - View Document
	Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods Olivier Bouissou1 , Alexandre Chapoutot2 , and Samuel Mimram1 1 CEA Saclay Nano-INNOV Institut CARNOT, Gif-sur-Yvette France DocID: 1xVef - View Document
	An Operational Semantics for Simulink’s Simulation Engine Olivier Bouissou Alexandre Chapoutot CEA LIST, DILS/LMeASI – Point Courrier 174, DocID: 1xTOl - View Document
	Simulation abstraite : une analyse statique de modèles Simulink Alexandre Chapoutot1 Laboratoire MeASI - CEA LIST Soutenance de thèse DocID: 1xTIE - View Document