Rennes - PDFSEARCH.IO - Document Search Engine

Rennes
Results: 1341

#	Item
161	Diagnosis in Infinite-State Probabilistic Systems Nathalie Bertrand1 , Serge Haddad2 , Engel Lefaucheux1,2 1 Inria Rennes, France 2 LSV, ENS Cachan & CNRS & Inria, France Infinity 2016, Singapore Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2016-08-29 09:23:20
162	Runtime enforcement of timed properties Srinivas Pinisetty To cite this version: Srinivas Pinisetty. Runtime enforcement of timed properties. Automatic Control Engineering. Université Rennes 1, 2015. English. Add to Reading List Source URL: tel.archives-ouvertes.fr Language: English - Date: 2018-08-05 11:52:38
163	RULES OF INTERNAL ORDER As adopted by the General Assembly in Brussels, 9 November 2004; modified by the General Assembly in Rennes, 27 May 2005; in Brussels, 11 May 2006; in Bilbao, 20 April 2007; in Venice, 26 March 20 Add to Reading List Source URL: www.e-f-a.org Language: English - Date: 2017-07-28 05:59:57
164	Logical Methods in Computer Science Vol. 8(4:8)2012, pp. 1–33 www.lmcs-online.org Submitted Published Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2012-11-16 06:10:09
165	Diagnosis with Dynamic MSC Languages Benedikt Bollig1 and Stefan Haar and Lo¨ıc H´elou¨et2 1 LSV, ENS Cachan, CNRS, INRIA, France 2 Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2015-02-28 19:54:45
166	Welcome to RAID 2009 Engin Kirda Institute Eurecom Add to Reading List Source URL: www.rennes.supelec.fr Language: English - Date: 2009-10-01 08:15:51
167	The Sigali Tool Box Environment Loic Besnard Herv´e Marchand IRISA-CNRS IRISA-INRIA Campus Univ. de Beaulieu, 35042 Rennes,France {Loic.Besnard, Herve.Marchand}@irisa.fr Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2006-07-21 07:37:54
168	Scenario realizability with constraint optimization Rouwaida Abdallah1 , Arnaud Gotlieb2 , Lo¨ıc H´elou¨et3 ,Claude Jard4 1 ENS Cachan (antenne de Bretagne), 2 SIMULA, Norway, 3 INRIA Rennes, Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2015-02-28 19:20:27
169	UCM2018 11th-14th June 2018 Rennes, France International school and symposium on Ultrafast Control of Materials Add to Reading List Source URL: ucm2018.sciencesconf.org Language: English - Date: 2018-06-05 08:15:04
170	Jocelyne Erhel Directrice de Recherche, INRIA, Campus de Beaulieu, 35042 Rennes Cedex Tél: +, Fax: + , www.irisa.fr/sage/jocelyne Academic background : Habilitation Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2013-11-22 05:59:23

UPDATE