timed LOTOS < timed automata < timed automaton

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 automata

Number of relevant bibliographic references: 25.
[0-20] [0 - 20][0 - 25][20-24][20-40]

Ident.	Authors (with country if any)	Title
006921 (2004)	Mohamed Khalgui ; Xavier Rebeuf ; Françoise Simonot-Lion	A contribution to the validation of complex real-time systems
006993 (2004)	Mohamed Khalgui ; Xavier Rebeuf ; Françoise Simonot-Lion	A behavior model for IEC 61499 function blocks
007101 (2004)	Mohamed Khalgui [France] ; Xavier Rebeuf [France] ; Françoise Simonot-Lion [France]	A contribution to the validation of complex real-time systems
007105 (2004)	Mohamed Khalgui [France] ; Xavier Rebeuf [France] ; Françoise Simonot-Lion [France]	A behavior model for IEC 61499 function blocks
007380 (2003)	Mohamed Khalgui	Vérification de propriétés temporelles complexes
007B95 (2003)	Mohamed Khalgui [France]	Vérification de propriétés temporelles complexes
008197 (2002)	Laurent Kaiser ; Françoise Simonot-Lion	D'un formalisme à l'autre : entre TIOSM et SDL
008429 (2002)	Xavier Rebeuf ; Gerardo Satriano ; Françoise Simonot-Lion	A Distributed Algorithm for the Validation of Timed State Machines
008465 (2002)	Françoise Simonot-Lion ; Laurent Kaiser ; Ricardo Santos Marques	Formal Method for Timed Tests Sequences Generation
008496 (2002)	Françoise Simonot-Lion	Validation of Real Time Applications
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
008A34 (2002)	Françoise Simonot-Lion [France]	Validation of Real Time Applications
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
008D46 (2001)	Françoise Simonot-Lion ; Laurent Kaiser ; Ricardo Dos Santos Marques	Méthode formelle de génération de séquences de tests temporisés
008D79 (2001)	Laurent Kaiser	Contribution à l'analyse des TIOSMs pour la vérification de propriétés temporelles de systèmes complexes
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
009139 (2001)	Laurent Kaiser ; Françoise Simonot-Lion	An Hybrid Method for the Validation of Real-Time Systems
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

---

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/KwdEn.i -k "timed automata" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i  \
                -Sk "timed automata" \
         | 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=    KwdEn.i
   |clé=    timed automata
}}

---

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