Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
       Login
Publication no #148   Download bibtex file Type :   Html | Bib | Both
Add to my selection
Formalizing a Specification for Analysis: The HLA Ownership Properties

Craig Damon, Ralph Melton, Elizabeth Bigelow, James Ivers and David Garlan.

Technical report, CMU-CS-99-126, Carnegie Mellon University School of Computer Science, April 1999.

Online links:   Bibtex entry   Plain Text

Keywords: Architectural Analysis, Formal Methods, Software Architecture.  
    Created: 2006-08-22 13:40:29
Feedback: ABLE Webmaster
Last modified: Sat October 12 2019 16:15:32 		        BibAdmin