Verification techniques for policy based systems.
Erisa Karafili, Stephen Pipes, Emil C. Lupu
VenueCUIC
Year2017
ProceedingsSmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
DBLP recordconf/uic/KarafiliPL17 ↗
Browse the full UIC paper archive.
Erisa Karafili, Stephen Pipes, Emil C. Lupu
Browse the full UIC paper archive.