Items where Institution is :Other partners > Ellidiss Technologies (FRANCE)
Number of items at this level: 2. Delange, Julien and Hugues, Jérôme and Dissaux, Pierre Validate implementation correctness using simulation: the TASTE approach. (2012) In: ERTS2 2012 (Embedded Real Time Software and Systems), 01-03 Feb 2012, Toulouse. Conquet, Eric and Perrotin, Maxime and Dissaux, Pierre and Tsiodras, Thanassis and Hugues, Jérôme The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software. (2010) In: European Congress on Embedded Real-Time Software (ERTS 2010), 19-21 May 2010, Toulouse, France. |