📣 Try out the NEW Gateway to Research and let us know what you think.

We're looking for users to test the new service during August and September and share their feedback. Express your interest by completing this short form.

Developing the UML-B Modelling Tools

First Author: Snook C
Attributed to:  Holistic Design of Secure Systems on Capability Hardware (HD-Sec) funded by ISCF

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-031-26236-4_16

Publication URI: http://dx.doi.org/10.1007/978-3-031-26236-4_16

Type: Book Chapter

Book Title: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers (2023)

Page Reference: 181-188