A Predicate Logic-Defined Specification Method for Systems Deployed by Intercloud Brokerages.

Katsunori Miura, Masaharu Munetomo

Browse the full IC2E paper archive.