Vladimir Herdt Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs (BestMasters)
Ana Madureira,Judite Ferreira,Zita Vale Computational Intelligence for Engineering Systems: Emergent Applications (Intelligent Systems, Control and Automation: Science and Engineering, 46)