Towards Passivity based software synthesis Download pdf Tags: Presentations License: CC-2.5 Submitted by Anonymous on Fri, 01/29/2016 - 13:33