✦ LIBER ✦
System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation
✍ Scribed by Hubert Garavel; César Viho; Massimo Zendri
- Publisher
- Springer
- Year
- 2001
- Tongue
- English
- Weight
- 324 KB
- Volume
- 3
- Category
- Article
- ISSN
- 1433-2779
No coin nor oath required. For personal study only.