Lectures on Embedded Systems
Subtitle: European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 (Lecture Notes in Computer Science)
Contributors: Grzegorz Rozenberg (Editor); Frits W. Vaandrager (Editor)
Edition: 1 edition
Publisher: Springer
Published: November 25, 1998
Language: eng
Format: Paperback
Number of pages: 423
ISBN-13: 9783540651932
Subjects: Computer architecture & logic design; Mathematical theory of computation; Systems analysis & design; Embedded computer systems; Computer Systems; Computers; Computers - General Information; Computer Books: General; Programming Languages - General; Hardware - Personal Computers - General; Computers / Programming / Systems Analysis & Design; Control Systems; Dependable Computing; Embedded Systems; Formal Methods; Hybrid Systems; Management Information Systems
First sentence: This paper presents a new computational model for realtime systems, called the clocked transition system (CTS) model.