Verification and Scheduling Techniques for Real-Time Embedded Systems (Linköping studies in science and technology)
by Luis Alejandro Cortés
Paperback
details (United Kingdom).
ISBN: 978-91-85297-21-4
ISBN-10: 91-85297-21-6
Linköpings universitet, Institute of Technology, Department of Computer and Information Science · 2005