TTL: a modular language for hardware/software systems design
Journal of Computer and System Sciences
Formal specification of a protocol processor
SAMOS'05 Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
Hi-index | 0.00 |