time < timed < timeliness

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by timed

Number of relevant bibliographic references: 55.
[20-40] [0 - 20][0 - 50][40-54][40-60]

Ident.	Authors (with country if any)	Title
008429 (2002)	Xavier Rebeuf ; Gerardo Satriano ; Françoise Simonot-Lion	A Distributed Algorithm for the Validation of Timed State Machines
008454 (2002)	Bruno Gaujal ; Alessandro Giua	Optimal routing of continuous timed Petri nets
008465 (2002)	Françoise Simonot-Lion ; Laurent Kaiser ; Ricardo Santos Marques	Formal Method for Timed Tests Sequences Generation
008648 (2002)	Stefan Haar ; Laurent Kaiser ; Françoise Simonot-Lion ; Joël Toussaint	Equivalence of Timed State Machines and safe TPN
008803 (2002)	Françoise Simonot-Lion [France] ; Laurent Kaiser [France] ; Ricardo Santos Marques [France]	Formal Method for Timed Tests Sequences Generation
008A51 (2002)	Bruno Gaujal [France] ; Alessandro Giua	Timed continuous Petri nets and optimization via linear programming
008A94 (2002)	Bruno Gaujal [France] ; Alessandro Giua	Optimal routing of continuous timed Petri nets
008A95 (2002)	Gülgün Alpan [France] ; Bruno Gaujal [France]	Optimal routing in timed continuous Petri nets applied to scheduling assignment problems
008B47 (2002)	Stefan Haar [France] ; Laurent Kaiser [France] ; Françoise Simonot-Lion [France] ; Joël Toussaint [France]	Equivalence of Timed State Machines and safe TPN
008C12 (2002)	Xavier Rebeuf [France] ; Gerardo Satriano ; Françoise Simonot-Lion [France]	A Distributed Algorithm for the Validation of Timed State Machines
008C29 (2001-11)	Bruno Gaujal [France] ; Alessandro Giua	Optimal routing of continuous timed Petri nets
008C92 (2001-06)	Emmanuel Beffara [France] ; Olivier Bournez [France] ; Hassen Kacem [France] ; Claude Kirchner [France]	Verification of Timed Automata Using Rewrite Rules and Strategies
008C93 (2001-06)	Emmanuel Beffara [France] ; Olivier Bournez [France] ; Hassen Kacem [France] ; Claude Kirchner [France]	Verification of Timed Automata Using Rewrite Rules and Strategies
008F94 (2001)	Bruno Gaujal ; Alessandro Giua	Optimal routing of continuous timed Petri nets
009060 (2001)	Emmanuel Beffara ; Olivier Bournez ; Hassen Kacem ; Claude Kirchner	Verification of Timed Automata Using Rewrite Rules and Strategies
009061 (2001)	Emmanuel Beffara ; Olivier Bournez ; Hassen Kacem ; Claude Kirchner	Verification of Timed Automata Using Rewrite Rules and Strategies
009757 (2000-09)	Laurent Kaiser [France] ; Françoise Simonot-Lion [France]	Adaptative timed tests for temporal interoperability verification
009766 (2000-08)	Bruno Gaujal [France] ; Stefan Haar	A limit Semantics for timed Petri Nets
009B12 (2000)	Laurent Kaiser ; Françoise Simonot-Lion	Adaptative timed tests for temporal interoperability verification
009B21 (2000)	Stefan Haar ; Laurent Kaiser ; Françoise Simonot-Lion ; Joël Toussaint	Using and translating equivalent Models : Timed State Machines and Time Petri Nets
009C05 (2000)	Olivier Bournez ; Oded Maler	On the representation of timed polyhedra

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "timed" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "timed" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.i
   |clé=    timed
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022