Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Publication no #148   Download bibtex file Type :   Html | Bib | Both
Add to my selection
      AUTHOR = {Damon, Craig and Melton, Ralph and Bigelow, Elizabeth and Ivers, James and Garlan, David},
      TITLE = {Formalizing a Specification for Analysis: The HLA Ownership Properties},
      YEAR = {1999},
      MONTH = {April},
      NUMBER = {CMU-CS-99-126},
      INSTITUTION = {Carnegie Mellon University School of Computer Science},
      KEYWORDS = {Architectural Analysis, Formal Methods, Software Architecture}
    Created: 2006-08-22 13:40:29
Feedback: ABLE Webmaster
Last modified: Mon February 12 2018 11:21:51