Investigating the Preservation of Temporal Properties by Event B Data Refinement through a Lift Controller Case Study
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Saudi Digital Library
Copyright owned by the Saudi Digital Library (SDL) © 2025