Author of the publication

Modeling and Verification of Chess Game Using NuSMV.

, , , , and . ACC (2), volume 191 of Communications in Computer and Information Science, page 460-470. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Modeling and Verification of Chess Game Using NuSMV., , , , and . ACC (2), volume 191 of Communications in Computer and Information Science, page 460-470. Springer, (2011)Design and Optimization of Direct Drive Motor Alloy Wheel for Manual Wheelchair., and . Int. J. Syst. Dyn. Appl., 10 (4): 1-13 (2021)A 1-D CNN-FCM model for the classification of epileptic seizure disorders., and . Neural Comput. Appl., 35 (24): 17871-17881 (August 2023)An optimised machine learning algorithm for classification of epileptic seizures using EMD-based dynamic features of EEG., and . Int. J. Ad Hoc Ubiquitous Comput., 40 (1/2/3): 127-138 (2022)A deep neural network for the classification of epileptic seizures using hierarchical attention mechanism., and . Soft Comput., 26 (11): 5389-5397 (2022)A Study on Technical Analysis of Equity Stocks. International Journal of Trend in Scientific Research and Development, 4 (6): 1028-1033 (September 2020)Performance Characteristics of A Variable Compression Ratio Engine using Transesterified Mahua Oil. International Journal of Trend in Scientific Research and Development, 2 (4): 1059-1063 (June 2018)