Ganesha. Simulink to NuSMV Model Translation Challenges. In Saurabh Tiwari 0001, Sanjay Chaudhary, Chanchal K. Roy, Meenakshi D'Souza, Richa Sharma, Lov Kumar, editors, ISEC 2022: 15th Innovations in Software Engineering Conference, Gandhinagar, India, February 24 - 26, 2022. ACM, 2022. [doi]
Abstract is missing.