IndexBrowseAddEditDelete   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publication no #32   Download bibtex file Type :   Html | Bib | Both
    Created: 2009-09-19 11:37:52
32 Add to my selection
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]
Keywords: Logique temporelle linéaire, Formalisation, Protocole de reconfiguration, Vérification.  
@InProceedings{2005:ZhaChe:Semantic,
      AUTHOR = {Zhang, Ji and Cheng, Betty},
      TITLE = {Specifying adaptation semantics},
      YEAR = {2005},
      MONTH = {17-17 May},
      BOOKTITLE = {Workshop on Architecting Dependable Systems},
      PAGES = {1-7},
      ADDRESS = {Saint-Louis, USA},
      KEYWORDS = {Logique temporelle linéaire, Formalisation, Protocole de reconfiguration, Vérification}
}
Feedback: Jeremy Buisson
Last modified: Thu February 03 2011 11:56:19
        BibAdmin