Towards Verified Privacy Policy Compliance of an Actor-based Electronic Medical Record Systems
| Title | Towards Verified Privacy Policy Compliance of an Actor-based Electronic Medical Record Systems |
| Publication Type | Conference Proceedings |
| Year of Publication | 2015 |
| Authors | Thomas MacGahan, Claiborne Johnson, Armando Rodriguez, Mark Appleby, Jianwei Niu, Jeffery von Ronne |
| Conference Name | SPLASH 2015 |
| Series Title | AGERE! 2015 Programming based on Actors, Agents, and Decentralized Control |
| Date Published | 10/2015 |
| Conference Location | Pittsburgh, PA |
| Keywords | CMU, Jan'16 |
| Citation Key | node-30327 |
| Attachment | Size |
|---|---|
| bytes |