Verification and scheduling techniques for real-time embedded systems
By: Luis Alejandro Corte s.
Contributors: Universitetet i Linko ping
Series: Linko ping studies in science and technology -- dissertation no. 920; Linko ping studies in science and technology -- no. 920.
Publisher: Linko pings universitet
Published: 2005
Place of publication: Linko ping
Language: eng
Number of pages: 213
ISBN-13: 9789185297214
Subjects: Scheduling; Mathematical models; Embedded computer systems; Real-time control
Notes: Thesis (doctoral)--Linko pings universitet, 200.

Includes bibliographical references (p. [185]-197).