1996 …2023

Research activity per year

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, p. 282-289 8 p. (Lecture Notes in Computer Science; vol. 9675).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    1 Citation (Scopus)
    51 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, p. 297-302 6 p. (Lecture Notes in Computer Science; vol. 9675).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    2 Citations (Scopus)
    190 Downloads (Pure)