Browsing by Subject Model-integrated computing
Showing results 1 to 9 of 9
| Issue Date | Title | Author(s) |
| 2018-11 | Annual activity report 2017-2018 | Camilleri, Kenneth P. |
| 2020-10 | Annual Activity Report 2019-2020 | Camilleri, Kenneth P. |
| 2021-10 | Annual activity report 2020-2021 | Bonnici, Alexandra; University of Malta. Faculty of Engineering. Department of Systems & Control Engineering |
| 2014 | Investigating search-based testing techniques for test data generation | Felice, Paul (2014) |
| 2007 | Model checking : concurrent assembly algorithms | Fenech, Stephen (2007) |
| 2008 | Model checking user interfaces | Cauchi, Abigail (2008) |
| 2015 | Parts-based model for image search and retrieval | Galea, Mark |
| 1989 | PUMA 260 simulator | Cassar, Joseph (1989) |
| 2014 | Verifying web applications : from business level specifications to automated model-based testing | Colombo, Christian; Micallef, Mark; Scerri, Mark |
