SS
Sarita Singh
Research areas: Computer Science · Artificial Intelligence · Logic, programming, and type systems · Formal Methods in Verification · IoT and Edge/Fog Computing
Employment
Employment history is unavailable.
Education
Education history is unavailable.
Projects & Funding
Projects & funding information is unavailable.
Publications (5)
- AI and Machine Learning in Carbon Sequestration Save
- Blockchain and IoT for Secure Carbon Credit Transactions Save
- Comparative Study of Plant Disease Detection Techniques: A Performance-Based Review Save
- A comparative study of two formal specification languages: Z-notation & B-method Save
- Blockchain and IoT for Secure Carbon Credit Transactions: A Decentralized and Transparent Approach Save