Introduction to the Formal Design of Real-Time Systems

Introduction to the Formal Design of Real-Time Systems

4.11 - 1251 ratings - Source



While the technology to build complex computer-based systems now exists, it is not always necessarily advisable to build them. To use design tools effectively, engineers need to have a full understanding not only of the capabilities of their tools, but why they work and when their use is appropriate. Richly illustrated with many examples and problem-solving exercises, this book looks at two process algebras, one as a design tool for concurrent systems, and one for real-time systems.Lam74 Lamport L., a#39;A New Solution to Dijkstraa#39;s Concurrent Programming Problema#39;, Communications of the ACM, 17, 453-5, 1974. ... Moll94 Moller R, The Edinburgh Concurrency Workbench (version 7), Manual available from Department of Computer Science, University of Edinburgh, 1994. ... Pet85 Peterson J. L. and Silberschatz A., Operating System Concepts, 2nd edition, Addison -Wesley, 1985.


Title:Introduction to the Formal Design of Real-Time Systems
Author: David Gray
Publisher:Springer Verlag - 1999
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA