Implementation of the data-flow synchronous language SIGNAL
PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Hi-index | 0.00 |