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

Simple item page
dc.contributor.advisorCorina Cristea and Michael Butler
dc.contributor.authorEMAN HOMOUD M ALKHAMMASH
dc.date2014
dc.date2015-03-06 06:04:21.207
dc.date.accessioned2022-05-30T07:45:03Z
dc.date.available2022-05-30T07:45:03Z
dc.degree.departmentCorina Cristea and Michael Butler
dc.identifier.other23352
dc.identifier.urihttps://drepo.sdl.edu.sa/handle/20.500.14154/52208
dc.publisherSaudi Digital Library
dc.titleTowards a Systematic Process for Modelling Complex Systems in Event-B
dc.typeThesis
sdl.thesis.levelDoctoral
sdl.thesis.sourceSACM - United Kingdom

Files

Collections

SACM - United Kingdom

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