PART I: Real Time Systems — Background

In the next four sections, we shall provide (i) an overview of the general characteristics of real-time systems and reactive systems, (ii) a general discussion on formal development methodologies for real-time systems, (iii) characteristics of real-time languages and (iv) programming characteristics...

Full description

Bibliographic Details

Published in:	Real Time Programming: Languages, Specification And Verification p. 1
Main Authors:	R K Shyamasundar, S Ramesh
Format:	Book Chapter
Language:	English
Published:	Singapore World Scientific Publishing Company 2009 WORLD SCIENTIFIC
Subjects:	PART I: Real Time Systems — Background Software Engineering
ISBN:	9789810225667, 9810225660, 9789814499316, 9789812814029, 9812814027, 9814499315
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!