FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Abstraction of Clocks in Synchronous Data-Flow Systems
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
A trace-based framework for verifiable GALS composition of IPs
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Tools for programming, code generation, and design
Embedded Systems Design
Hi-index | 0.00 |