Snook, Colin, Butler, Michael, Hoang, Son, Salehi Fathabadi, Asieh and Dghaym, Dana (2022) Developing the UML-B modelling tools. Software Engineering and Formal Methods / SEFM 2022 Collocated Workshops / AI4EA, CIFMA, CoSim-CPS, F-IDE: F-IDE 2022 - 7th Workshop on Formal Integrated Development Environment.
Record type:
Conference or Workshop Item
(Paper)
This record has no associated files available for download.
More information
Published date: 2022
Venue - Dates:
Software Engineering and Formal Methods / SEFM 2022 Collocated Workshops / AI4EA, CIFMA, CoSim-CPS, F-IDE: F-IDE 2022 - 7th Workshop on Formal Integrated Development Environment, 2022-09-26
Identifiers
Local EPrints ID: 474477
URI: http://eprints.soton.ac.uk/id/eprint/474477
PURE UUID: c9d077db-1780-48c2-865b-c07e9e5f2a1e
Catalogue record
Date deposited: 22 Feb 2023 21:13
Last modified: 17 Mar 2024 03:45
Export record
Contributors
Author:
Colin Snook
Author:
Michael Butler
Author:
Son Hoang
Author:
Asieh Salehi Fathabadi
Author:
Dana Dghaym
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.