Publisher
Springer Nature Switzerland
Reference40 articles.
1. Ailane, T.M., Abboush, M., Knieke, C., Lawendy, A., Rausch, A.: Toward formalizing the emergent behavior in software engineering. In: 2021 IEEE/ACM Joint 9th International Workshop on Software Engineering for Systems-of-Systems and 15th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems (SESoS/WDES), pp. 32–39. IEEE (2021)
2. Buhagiar, A.J.: Automated Organ Transplant Preservation Smart Audit. Master’s thesis, School of Computing Newcastle University (2020)
3. Buhagiar, A.J.: Mathematical Techniques for Dependable Medical Device Software Automation. Ph.D. thesis, Newcastle University (2024)
4. Buhagiar, A.J., Christensen, R.F., Larsen, P.G., Freitas, L., Scott, W.E., Gonçalves Gomes, C.U.: 118.8: understanding pancreas-machine interactions during preservation: a mathematical approach. Transplantation 107(10S2), 34–35 (2023). https://doi.org/10.1097/01.tp.0000993916.49745.ee
5. Buhagiar, A.J., Freitas, L., Scott, W.E.: Persufflation—current state of play. Transplantology 2(3), 362–378 (2021). https://doi.org/10.3390/transplantology2030035