default author photo

Rituraj Kumar

affiliation not provided to SSRN

  • affiliation not provided to SSRN

SCHOLARLY PAPERS

1

DOWNLOADS

53

TOTAL CITATIONS

0

Scholarly Papers (1)

Actions:
Email selected abstracts
1.

A Behavioral Modelling Framework for Early Verification and Validation at Conceptualization Phase of Designing Distributed Cyber-Physical Systems

Number of pages: 51 Posted: 21 Feb 2024
Vikas Sood, Malay Kumar Nema, Rituraj Kumar and Manisha Jitendra Nene
affiliation not provided to SSRN, affiliation not provided to SSRN, affiliation not provided to SSRN and Defence Institute of Advanced Technology
Downloads 53

Abstract:

Loading...

Distributed Cyber-Physical Systems, Petri nets, Reference Nets, Modelling and Simulation, Early Verification and Validation, Military Command and Control