A Prototype Modeling of Smart Irrigation System Using Event-B
Rahul Karmakar, Bidyut Biman Sarkar
Topics & Concepts
IrrigationScheduleSoftware deploymentEvent (particle physics)Computer scienceGlobal Positioning SystemReal-time computingEnvironmental scienceOperating systemEcologyPhysicsBiologyQuantum mechanicsSmart Agriculture and AIEvolutionary Algorithms and ApplicationsWater Quality Monitoring Technologies