19962018

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Chapter

Search results

  • 2016

    Semi-Automated Design Space Exploration for Formal Modelling

    Grov, G., Ireland, A., Llano, M. T., Kovacs, P., Colton, S. & Gow, J., 11 May 2016, Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Butler, M., Schewe, K-D., Mashkoor, A. & Biro, M. (eds.). Springer International Publishing, p. 282-289 8 p. (Lecture Notes in Computer Science; vol. 9675).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    20 Downloads (Pure)
  • UC-B: Use case modelling with Event-B

    Murali, R., Ireland, A. & Grov, G., 2016, Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Butler, M., Schewe, K-D., Mashkoor, A. & Biro, M. (eds.). Springer International Publishing, p. 297-302 6 p. (Lecture Notes in Computer Science; vol. 9675).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    1 Citation (Scopus)
    69 Downloads (Pure)