Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

More Information

Format: Paperback
Pages: 456
Edition: Softcover reprint of the original 1st ed. 2000
Publisher: Springer
Published: 30 Nov 1999
ISBN 10: 1461369983
ISBN 13: 9781461369981