A LOTOS extension for the performance analysis of distributed systems
IEEE/ACM Transactions on Networking (TON)
Time-constrained buffer specifications in CSP + T and timed CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
Approach to the Synthesis of HW and SW in Codesign
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
TTL: a modular language for hardware/software systems design
Journal of Computer and System Sciences
An Algorithm for Direct Synthesis of Formal Specifications
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
Hi-index | 0.00 |