Search for persons
X
?
2024 1st International Conference on Cognitive, Green and Ubiquitous Computing (IC-CGU) ,
3
Autonomous Hydroponic Farming using Internet of Things:
, In:
?
2024 1st International Conference on Cognitive, Green and Ubiquitous Computing (IC-CGU) ,
4
Navigating Efficiency: A Blueprint for Optimizing Organizat..:
, In:
?
2023 International Conference on Applied Intelligence and Sustainable Computing (ICAISC) ,
6
An Analysis of Elliptic Curve Cryptography Secret Keys For ..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
9
Abstraction-Based Safety Analysis of Linear Dynamical Syste..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
12
Formally Verified Switching Logic for Recoverability of Air..:
, In:
?
2020 International Conference on Embedded Software (EMSOFT) ,
14
Safety Analysis of Linear Discrete-time Stochastic Systems:..:
, In:
?
2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) ,
15