Skip to content

Research at St Andrews

Formalization and Automation of Quality Assurance Processes in Radiation Oncology

Research output: Contribution to journalAbstract

Author(s)

R. Munbodh, H. Zaveri, M. Caminati, J. Bowles

School/Research organisations

Details

Original languageEnglish
Pages (from-to)E274-E274
Number of pages1
JournalMedical physics
Volume45
Issue number6
StatePublished - 31 Jul 2018
Event60th Annual Meeting of the American-Association-of-Physicists-in-Medicine: AAPM - Nashville, United States
Duration: 29 Jul 20182 Aug 2018

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. An integrated framework for verifying multiple care pathways

    Bowles, J. K. F., Caminati, M. B. & Cha, S. 7 Feb 2018 Eleventh International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE Computer Society, Vol. 2018-January, p. 1-8 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. A flexible approach for finding optimal paths with minimal conflicts

    Bowles, J. K. F. & Caminati, M. B. 2017 Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. Duan, Z. & Ong, L. (eds.). Springer, p. 209-225 16 p. (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 10610)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. A verified algorithm enumerating event structures

    Bowles, J. K. F. & Caminati, M. B. 2017 Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Geuvers, H., England, M., Hasan, O., Rabe, F. & Teschke, O. (eds.). Cham: Springer, p. 239-254 (Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence); vol. 10383)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Correct composition of dephased behavioural models

    Bowles, J. K. F. & Caminati, M. B. 2017 Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. Proença, J. & Lumpe, M. (eds.). Springer, p. 233-250 18 p. (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 10487)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Mind the gap: addressing behavioural inconsistencies with formal methods

    Bowles, J. K. F. & Caminati, M. B. 6 Dec 2016 2016 23rd Asia-Pacific Software Engineering Conference (APSEC). Potanin, A., Murphy, G. C., Reeves, S. & Dietrich, J. (eds.). IEEE Computer Society, p. 313-320 8 p. 7890603

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

ID: 255500306