Design of embedded systems: formal models, validation, and synthesis
Readings in hardware/software co-design
Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Separate compilation for synchronous programs
Proceedings of th 12th International Workshop on Software and Compilers for Embedded Systems
Static data-flow analysis of synchronous programs
MEMOCODE'09 Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign
Applying Techniques of Asynchronous Concurrency to Synchronous Languages
Fundamenta Informaticae
Hi-index | 0.00 |