Follow
Subodh Kumar
Subodh Kumar
Assistant Professor,AIMT Lucknow
Verified email at ambalika.in
Title
Cited by
Cited by
Year
Formal Verification of Security Protocol with B method
S Kumar, G Chandra, D Yadav
International Conference on Computer and Communication Technology, ICCCT …, 2014
52014
Formal Methods: Techniques and Languages For Software Development
S Kumar, RS Suryavanshi, G Chandra
International Journal of Engineering Science & Advance Research 1 (1), 35-42, 2015
32015
A Novel Technique for Database Selection and Document Selection
A Agrawal, M Husain, RG Tiwari, S Kumar
International Journal of Computer Applications 17 (8), 22-26, 2011
32011
The system can't perform the operation now. Try again later.
Articles 1–3