Karmakar, Rahul
133  Ergebnisse:
Personensuche X
?
5

Neural session key exchange in the Industrial Internet of T..:

Hai, Tao ; Sarkar, Arindam ; Karmakar, Rahul...
Engineering Applications of Artificial Intelligence.  125 (2023)  - p. 106683 , 2023
 
?
6

A review on rainfall forecasting using ensemble learning te..:

Kundu, Saranagata ; Biswas, Saroj Kr. ; Tripathi, Deeksha...
e-Prime - Advances in Electrical Engineering, Electronics and Energy.  6 (2023)  - p. 100296 , 2023
 
?
 
?
9

GAN-guided artificial neural collaborative complex computat..:

Sarkar, Arindam ; Karmakar, Rahul ; Roy, Mandira
Multimedia Tools and Applications.  83 (2023)  9 - p. 26387-26418 , 2023
 
?
11

A graphical tool for formal verification using Event-B mode..:

Karmakar, Rahul
Multimedia Tools and Applications.  83 (2023)  4 - p. 10899-10923 , 2023
 
?
13

Symbolic Model Checking: A Comprehensive Review for Critica..:

, In: Advances in Data and Information Sciences; Lecture Notes in Networks and Systems,
Karmakar, Rahul - p. 693-703 , 2022
 
?
14

Mapping UML Activity Diagram into Z Notation:

, In: Innovative Data Communication Technologies and Application; Lecture Notes on Data Engineering and Communications Technologies,
Halder, Animesh ; Karmakar, Rahul - p. 301-318 , 2022
 
?
15

Formal Verification Techniques: A Comparative Analysis for ..:

, In: Intelligent Systems Design and Applications; Lecture Notes in Networks and Systems,
Karmakar, Rahul - p. 93-102 , 2022
 
1-15