Search Results for 'decomposing specications of concurrent'

decomposing specications of concurrent published presentations and documents on DocSlides.

Decomposing Specications of Concurrent Systems Mart n

by lois-ondreau

INTRODUCTION Large systems are built from smaller...