Search Results for ''

published presentations and documents on DocSlides.

Decomposing Specications of Concurrent Systems Mart n

by lois-ondreau

INTRODUCTION Large systems are built from smaller...