GitHub - samjones246/progmanmodel: Event-B model for University Programme Management System

samjones246 / progmanmodel Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Event-B model for University Programme Management System

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 37 Commits
.project		.project
c0_users.bcc		c0_users.bcc
c0_users.bpr		c0_users.bpr
c0_users.buc		c0_users.buc
c1_programmes.bcc		c1_programmes.bcc
c1_programmes.bpr		c1_programmes.bpr
c1_programmes.buc		c1_programmes.buc
c2_modules.bcc		c2_modules.bcc
c2_modules.bpr		c2_modules.bpr
c2_modules.buc		c2_modules.buc
c3_outcomes.bcc		c3_outcomes.bcc
c3_outcomes.bpr		c3_outcomes.bpr
c3_outcomes.buc		c3_outcomes.buc
c4_prerequisites.bcc		c4_prerequisites.bcc
c4_prerequisites.bpr		c4_prerequisites.bpr
c4_prerequisites.buc		c4_prerequisites.buc
c5_semesters.bcc		c5_semesters.bcc
c5_semesters.bpr		c5_semesters.bpr
c5_semesters.buc		c5_semesters.buc
m0_users.bcm		m0_users.bcm
m0_users.bpr		m0_users.bpr
m0_users.bum		m0_users.bum
m1_programmes.bcm		m1_programmes.bcm
m1_programmes.bpo		m1_programmes.bpo
m1_programmes.bpr		m1_programmes.bpr
m1_programmes.bps		m1_programmes.bps
m1_programmes.bum		m1_programmes.bum
m2_modules.bcm		m2_modules.bcm
m2_modules.bpo		m2_modules.bpo
m2_modules.bpr		m2_modules.bpr
m2_modules.bps		m2_modules.bps
m2_modules.bum		m2_modules.bum
m3_outcomes.bcm		m3_outcomes.bcm
m3_outcomes.bpo		m3_outcomes.bpo
m3_outcomes.bpr		m3_outcomes.bpr
m3_outcomes.bps		m3_outcomes.bps
m3_outcomes.bum		m3_outcomes.bum
m4_prerequisites.bcm		m4_prerequisites.bcm
m4_prerequisites.bpo		m4_prerequisites.bpo
m4_prerequisites.bpr		m4_prerequisites.bpr
m4_prerequisites.bps		m4_prerequisites.bps
m4_prerequisites.bum		m4_prerequisites.bum
m5_semesters.bcm		m5_semesters.bcm
m5_semesters.bpo		m5_semesters.bpo
m5_semesters.bpr		m5_semesters.bpr
m5_semesters.bps		m5_semesters.bps
m5_semesters.bum		m5_semesters.bum
m6_core.bcm		m6_core.bcm
m6_core.bpo		m6_core.bpo
m6_core.bpr		m6_core.bpr
m6_core.bps		m6_core.bps
m6_core.bum		m6_core.bum
m6_publish.bpr		m6_publish.bpr