before the fall finding gobi books of the month killer on the wall tudor queens series
Search our site
An Almond for a Parrot by Wray Delaney Read the opening extract of the brand new Wray Delaney book before its publication on 27/07/2017

Foundations of Real-Time Computing Formal Specifications and Methods Formal Specifications and Methods by Andre M. Van Tilborg

Foundations of Real-Time Computing Formal Specifications and Methods Formal Specifications and Methods

Part of the The Springer International Series in Engineering and Computer Science Series

RRP £123.00


Foundations of Real-Time Computing Formal Specifications and Methods Formal Specifications and Methods by Andre M. Van Tilborg

This volume contains a selection of papers that focus on the state-of- the-art in formal specification and verification of real-time computing systems. Preliminary versions of these papers were presented at a workshop on the foundations of real-time computing sponsored by the Office of Naval Research in October, 1990 in Washington, D. C. A companion volume by the title Foundations of Real-Time Computing: Scheduling and Resource Management complements this hook by addressing many of the recently devised techniques and approaches for scheduling tasks and managing resources in real-time systems. Together, these two texts provide a comprehensive snapshot of current insights into the process of designing and building real- time computing systems on a scientific basis. The notion of real-time system has alternative interpretations, not all of which are intended usages in this collection of papers. Different communities of researchers variously use the term real-time to refer to either very fast computing, or immediate on-line data acquisition, or deadline-driven computing. This text is concerned with the formal specification and verification of computer software and systems whose correct performance is dependent on carefully orchestrated interactions with time, e. g. , meeting deadlines and synchronizing with clocks. Such systems have been enabled for a rapidly increasing set of diverse end-uses by the unremitting advances in computing power per constant-dollar cost and per constant-unit-volume of space. End- use applications of real-time computers span a spectrum that includes transportation systems, robotics and manufacturing, aerospace and defense, industrial process control, and telecommunications.

About the Author

Loading other formats...

Book Info

Publication date

31st August 1991


Andre M. Van Tilborg

More books by Andre M. Van Tilborg
Author 'Like for Like'


Kluwer Academic Publishers


316 pages





Lovereading is not only an amazing site, but it's one of my very favourites. It's like visiting a fascinating bookstore, but better.

Rebecca Jayne Barrett

For me, to read is to learn, to reflect, to escape, to think, to contemplate and my time for space and calm.

Sally Ellsmore

Lovereading tells me about new books before they hit the shelves, lets me find other authors I may like and has great prize draws!

Sheila Dale

Books of the month/debuts of the month, kids/adults, fiction/non-fiction, free prize draws and free extracts, what's not to love?

Emma Smith

I 'Lovereading' because it lets me see what new books are around with a detailed synopsis and readers' reviews.

Judith Sharp

The best new books on the market, reviewed honestly, to give your readers the best choices.

Julie Cook

My favourite thing about is the 'like for like' page this has really introduced me to some good reads! That and lots of honest reviews.

Sam Lewis

Discover new authors and enjoy old favourites; oodles of literary gems to uncover at Lovereading with candid reviews from real reviewers.

Emily Wright