Formal Methods for Establishing Simulation Interoperability for Military Health System Applications.

Biomedical research must contend with complexity inherent to computational human body modeling, enlisting expert knowledge from multiple domains supporting the development of cross-disciplinary research tools that resolve research foci and associated differences in underlying theories, methods, and applied tools. This is closely related to the broader context of digital engineering for military systems engineering.