AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Divakar Singh Yadav

Divakar Singh Yadav

Institute of Engineering and Technology Lucknow - Lucknow / India
Engineering & Technology / Computer Science
AD Scientific Index ID: 293929
इंजीनियरिंग और प्रौद्योगिकी लखनऊ संस्थान
person_outline Divakar Singh Yadav's MOST POPULAR ARTICLES
1-) An incremental development of the Mondex system in Event-B Formal Aspects of Computing 20 (1), 61-77, 2008
2-) Understanding and estimation of emotional expression using acoustic analysis of natural speech International Journal on Natural Language Computing (IJNLC) 2 (4), 37-46, 2013
3-) Introduction of formal methods in blockchain consensus mechanism and its associated protocols IEEE Access 10, 66611-66624, 2022
4-) Rigorous development of complex fault-tolerant systems Springer, 2006
5-) Rigorous design of fault-tolerant transactions for replicated database systems using Event B Rigorous Development of Complex Fault-Tolerant Systems, 343-363, 2006