DMCA

Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems (2009)

by Natallia Kokash , Farhad Arbab
Venue:IN: PROC. OF THE FMCO’08, LNCS 5751
Citations:9 - 6 self