A feasibility study of the HLA bridge
Juergen Dingel,
David Garlan and Craig Damon.
Technical report, CMU-CS-01-103, Carnegie Mellon University School of Computer Science, March 2001.
Online links:
Keywords: Formal Methods, Software Architecture.
@TechReport{Dingel2001,
AUTHOR = {Dingel, Juergen and Garlan, David and Damon, Craig},
TITLE = {A feasibility study of the HLA bridge},
YEAR = {2001},
MONTH = {March},
NUMBER = {CMU-CS-01-103},
INSTITUTION = {Carnegie Mellon University School of Computer Science},
KEYWORDS = {Formal Methods, Software Architecture}
}
|
