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

Simple item page
dc.contributor.advisorCorina Cristea
dc.contributor.authorEMAN HOMOUD M ALKHAMMASH
dc.date2010
dc.date2015-03-06 06:04:21.173
dc.date.accessioned2022-05-30T07:00:55Z
dc.date.available2022-05-30T07:00:55Z
dc.degree.departmentCorina Cristea
dc.identifier.other23348
dc.identifier.urihttps://drepo.sdl.edu.sa/handle/20.500.14154/50423
dc.publisherSaudi Digital Library
dc.titleInvestigating the Preservation of Temporal Properties by Event B Data Refinement through a Lift Controller Case Study
dc.typeThesis
sdl.thesis.levelMaster
sdl.thesis.sourceSACM - United Kingdom

Files

Collections

SACM - United Kingdom

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