Dr Manju Nanda
Senior Principal Scientist
| Aerospace Electronics and Systems Division
CSIR-National Aerospace Laboratories
Expertise:
Aerospace Engineering
36
Publications
0
Projects
43
Scopus Citations
44
CrossRef
25 Years 7 Months Total Experience
Scopus
43
Citations
3
h-index
CrossRef
44
Citations
4
h-index
Google Scholar
Loading Scholar statistics...
Professional Recognition
No Data Found
There is currently nothing to display here.
Community & Membership
No Data Found
There is currently nothing to display here.
No Data Found
There is currently nothing to display here.
Personal Details
No Information Available
No information is available at this time.
Senior Principal Scientist
Feb 2001 – Present
CSIR-National Aerospace Laboratories
| Aerospace Electronics and Systems Division
Engineering and Technology
Scholarly Work
No Data Found
There is currently nothing to display here.
No Data Found
There is currently nothing to display here.
No Data Found
There is currently nothing to display here.
Scholarly Publications
Semi-formal approach for validating compiler for safety critical software in airborne systems
Mutation analysis of stateflow to improve the modelling analysis
Transaction-based models (TBM) and evaluation of their throughput
Adaptive markov model analysis for improving the design of unmanned aerial vehicles autopilot
10.1007/978-3-319-23036-8_22
Scopus: 1
Resource management and performance analysis of model-based control system software engineering using AADL
Formal architecture based design analysis for certifying SWS RTOS
System Safety Analysis for Critical System Applications Using Bayesian Networks
Open AccessBehavioral analysis of Safety Critical Systems using formal methods
Showing 1 to 8 of 36 publications