?
Proceedings of the ninth Washington Ada symposium on Ada: Empowering software users and developers ,
1
Techniques for semi-automated implementation of state-orien..:
, In:
?
Proceedings of the seventh Washington Ada symposium on Ada ,
2
Priority inversion in Ada programs during elaboration:
, In:
?
Advances in the Astronautical Sciences; Proceedings of the 44th Annual American Astronautical Society Guidance, Navigation, and Control Conference, 2022 ,
3
HAZARD DETECTION AND AVOIDANCE FOR THE NOVA-C LANDER:
, In:
?
2007 IEEE International Electron Devices Meeting ,
6
Gatestacks for scalable high-performance FinFETs:
, In:
?
Computational Fluid and Solid Mechanics 2003 ,
12
Can morphogen activity be enhanced by its inhibitors?:
, In:
?
2024 IEEE/ACM 46th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) ,
13
GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in..:
, In:
?
2023 10th International Conference on Soft Computing & Machine Intelligence (ISCMI) ,
14
LigMANet: Towards Designing a Lightweight Crowd Counting Mo..:
, In:
?
Bio-Geotechnologies for Mine Site Rehabilitation ,
15