Concurrent Systems Engineering

Open the compiled PDF

Table of contents

• 1 A bounded-buffer model — p. 1
• 2 Architecture and measurements — p. 2
• 3 Scheduling and verification — p. 3
• Document lists — p. 4
• A Laboratory checklist — p. 5