1
Published 2006
Table of Contents: ... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... in Parallel Architectures and Multi- core Processors, For Performance Improvement -- Aligning Systems...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... of Spoofed IP Packets -- 11. A Queueing Model for E-Learning System -- 12. Development of Common Parallel...
View full text
Electronic eBook