You May Also Like
Sponsored
Sold by Mighty Ape
Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft, for example, a system failure could have disastrous consequences. It is important therefore that we are able to employ mathematical techniques to specify the behaviour of critical safety systems. This thesis uses the theory of Communicating Sequential Processes to show how a real-time system may be specified. Included is a case study in which a local area network protocol is described at two levels of abstraction, and a general method for structuring CSP descriptions of layered protocols is given. The research contained here represents the very latest work on the specification and verification of real-time systems.
We are committed to protecting your rights under the Consumer Guarantees Act and working with our suppliers to assist with warranty claims. Products sold by Mighty Ape will be covered by a Manufacturer's Warranty for at least a one-year period from the date of purchase.
Your warranty will cover any manufacturing defects which, if existing, will present themselves within this warranty period.
Your warranty will not cover normal wear and tear, faults caused by misuse, and accidents which cause damage or theft caused after delivery. Using the product in a way it is not designed for will void your warranty.
Please refer to our Help Centre for more information.
