TIMED - PDFSEARCH.IO - Document Search Engine

TIMED
Results: 632

#	Item
71	ESTIMATED TIMED AGENDA CALIFORNIA TRANSPORTATION COMMISSION http://www.catc.ca.gov December 7, 2016 Riverside, California Add to Reading List Source URL: www.catc.ca.gov - Date: 2016-11-23 17:07:25
72	CWS: A timed service-oriented calculus? Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi Dipartimento di Sistemi e Informatica Universit`a degli Studi di Firenze {lapadula,pugliese,tiezzi}@dsi.unifi.it Abstra Add to Reading List Source URL: rap.dsi.unifi.it - Date: 2007-06-28 09:44:15
73	Robustness in Timed Automata Patricia Bouyer1 , Nicolas Markey1 , and Ocan Sankur1,2 1 LSV – CNRS & ENS Cachan – France Universit´e Libre de Bruxelles – Belgium Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2013-09-06 05:42:30
74	Robust Reachability in Timed Automata: A Game-based Approach ? Patricia Bouyer, Nicolas Markey, and Ocan Sankur LSV, CNRS & ENS Cachan, France. {bouyer,markey,sankur}@lsv.ens-cachan.fr Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2012-05-18 09:46:04
75	SIMULATION-BASED ANALYSIS OF TIMED REBECA USING TEPROP AND SQL Brynjar Magnússon Master of Science Software Engineering Add to Reading List Source URL: rebeca.cs.ru.is - Date: 2013-03-01 07:15:44
76	Online Timed Pattern Matching using Derivatives Dogan Ulus1 , Thomas Ferrère1 , Eugene Asarin2 , and Oded Maler1 1 V ERIMAG, Université Grenoble-Alpes/CNRS, France Add to Reading List Source URL: www-verimag.imag.fr - Date: 2016-01-08 10:07:58
77	Emptiness and Universality Problems in Timed Automata with Positive Frequency★ Nathalie Bertrand1 , Patricia Bouyer2 , Thomas Brihaye3 , and Am´elie Stainer1 1 2 Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2011-05-03 05:01:55
78	Timed Automata Can Always Be Made Implementable★ Patricia Bouyer1 , Kim G. Larsen2 , Nicolas Markey1 , Ocan Sankur1 , and Claus Thrane2 1 Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2011-06-24 09:42:56
79	Robust Weighted Timed Automata and Games Patricia Bouyer, Nicolas Markey, Ocan Sankur LSV, CNRS & ENS Cachan, France Abstract. Weighted timed automata extend timed automata with cost variables that can be used to model t Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2013-06-19 03:54:32
80	Formal Methods in System Design manuscript No. (will be inserted by the editor) A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer · Thomas Chatain · Stefan Haar Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2012-03-07 10:57:44