IndexBrowseAddEditDelete   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Publications related to 'Logique temporelle linéaire'   Download bibtex file Order by:   Type | Year
           related to:
1 Add to my selection Edit publication #32
Delete publication #32
Ji Zhang and Betty Cheng. Specifying adaptation semantics. In Workshop on Architecting Dependable Systems, Pages 1-7, Saint-Louis, USA, 17-17 May 2005. [Comment]   Bibtex entry
Keywords: Logique temporelle linéaire, Formalisation, Protocole de reconfiguration, Vérification.  
Feedback: Jeremy Buisson
Last modified: Thu February 03 2011 11:56:19