Visible to the public Towards Verified Privacy Policy Compliance of an Actor-based Electronic Medical Record SystemsConflict Detection Enabled

TitleTowards Verified Privacy Policy Compliance of an Actor-based Electronic Medical Record Systems
Publication TypeConference Proceedings
Year of Publication2015
AuthorsThomas MacGahan, Claiborne Johnson, Armando Rodriguez, Mark Appleby, Jianwei Niu, Jeffery von Ronne
Conference NameSPLASH 2015
Series TitleAGERE! 2015 Programming based on Actors, Agents, and Decentralized Control
Date Published10/2015
Conference LocationPittsburgh, PA
KeywordsCMU, Jan'16
Citation Keynode-30327

Other available formats:

MacGahan_Towards_Verified_Privacy_TB.pdf
AttachmentTaxonomyKindSize
MacGahan_Towards_Verified_Privacy_TB.pdfPDF document115.1 KBDownloadPreview