Browsing by Author Parvu, O
Showing results 1 to 4 of 4
Issue Date | Title | Author(s) |
---|---|---|
2014 | Automatic validation of computational models using pseudo-3D spatio-temporal model checking | Parvu, O; Gilbert, D |
2-Dec-2014 | Automatic validation of computational models using pseudo-3D spatio-temporal model checking | Parvu, O; Gilbert, D |
2014 | Computational models for inferring biochemical networks | Rausanu, S; Grosan, C; Wu, Z; Parvu, O; Stoica, R; Gilbert, D |
2016 | Implementation of linear minimum area enclosing traingle algorithm | Gilbert, D; Parvu, O |