Controlling Control Systems: An Application of Evolving Retrenchment
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
A novel ΔΣ control system processor and its VLSI implementation
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Hi-index | 0.00 |