D. S. Vidhya, Manjunath Ramachandra. A Novel Design in Formal Verification Corresponding to Mixed Signals by Differential Learning. In Radek Silhavy, Petr Silhavy, Zdenka Prokopova, Roman Senkerik, Zuzana Komínková Oplatková, editors, Software Engineering Trends and Techniques in Intelligent Systems - Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 3. Volume 575 of Advances in Intelligent Systems and Computing, pages 367-378, 2017. [doi]
Abstract is missing.