Hardware-software prototyping from LOTOS
Readings in hardware/software co-design
Real-Time and Performance Evaluation Extensions of Specification Language LOTOS
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
A Co-Design Methodology Based on Formal Specification and High-level Estimation
CODES '96 Proceedings of the 4th International Workshop on Hardware/Software Co-Design
Hi-index | 0.00 |