Jackson, E. K., T. Levendovszky, and D. Balasubramanian,
"Reasoning about Metamodeling with Formal Specifications and Automatic Proofs",
Model Driven Engineering Languages and Systems (MoDELS), vol. 6981, Wellington, New Zealand, Springer, 10/2011.
Abstract
Jiang, S., Y. Xue, A. Giani, and R. Bajcsy,
"Robust Medical Data Delivery for Wireless Pervasive Healthcare",
IEEE International Conference on Dependable, Autonomic and Secure Computing (International Workshop on Smart Homes for Tele-Health (SmarTel) co-located with), Chengdu, China, 12/2009.