Real Time Programming: Languages, Specification and Verification

ISBN-13: 9789810225667 / Angielski / Twarda / 2009 / 264 str.

R. K. Shyamasundar;S. Ramesh;Shyamasundar

Opis

The aim of this text is to present research efforts that have gone into, or are going on in, the systematic design of real-time programs. It does this by examining such areas as the characteristics of real-time/reactive programs, reactive programming languages, verification and refinements.