Investigating the Preservation of Temporal Properties by Event B Data Refinement through a Lift Controller Case Study

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/50423

Collections

SACM - United Kingdom

Endorsement

Review

Supplemented By

Referenced By

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