Towards a Systematic Process for Modelling Complex Systems in Event-B

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Saudi Digital Library

Abstract

Description

Keywords

Citation

URI

https://drepo.sdl.edu.sa/handle/20.500.14154/52208

Collections

SACM - United Kingdom

Endorsement

Review

Supplemented By

Referenced By

Copyright owned by the Saudi Digital Library (SDL) © 2025