-
1
-
2
-
3
A graphical tool for formal verification using Event-B modeling
Veröffentlicht in Multimedia tools and applications
VolltextArtikel -
4
A review on rainfall forecasting using ensemble learning techniques
Veröffentlicht in e-Prime
VolltextArtikel -
5
-
6
Transport of particles through RO membrane in steady state condition
Veröffentlicht in ChemistrySelect (Weinheim)
VolltextArtikel -
7
-
8
A long-range order in a thermally driven system with temperature-dependent interactions
Veröffentlicht in Soft matter
VolltextArtikel -
9
-
10
FMSG: a framework for modeling and verification of a smart grid
Veröffentlicht in Sadhana (Bangalore)
VolltextArtikel -
11
Model studies on motion of respiratory droplets driven through a face mask
Veröffentlicht in Europhysics letters
VolltextArtikel -
12
-
13
-
14
A Prototype Modeling of Smart Irrigation System Using Event-B
Veröffentlicht in SN computer science
VolltextArtikel -
15
-
16
-
17
-
18
Dynamic signature of ligand binding over a protein surface
Veröffentlicht in Physical review. E
VolltextArtikel -
19
-
20