{"id":{"repo_id":"de-montfort","oai_identifier":"oai:dora.dmu.ac.uk:2086/13291"},"canonical_url":"https://search.dev.ndltd.org/etd/de-montfort/oai:dora.dmu.ac.uk:2086/13291","repository":{"repo_id":"de-montfort","name":"De Montfort University","base_url":"https://dora.dmu.ac.uk/server/oai/request"},"display":{"title":"Compositional framework for the guided evolution of time-critical systems","abstract":"","abstract_html":null,"abstract_has_math":false,"creators":["Zhou, Shikun"],"institution":"De Montfort University","degree_name":"PhD","degree_level":"Doctoral","degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2002,"date_issued":"2002","date_published":"2002","updated_at":"2026-07-24T06:18:33Z","subjects":[],"languages":[],"rights":[],"rights_urls":["https://dora.dmu.ac.uk/bitstreams/b985f7eb-0ae7-4cc6-8083-64550bd0c871/download"],"identifier_entries":[]},"links":{"outbound_url":null,"outbound_label":null,"outbound_source":null},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:creator","label":"Author","values":["Zhou, Shikun"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.issued","label":"Date","values":["2002"]},{"key":"dc:publisher.institution","label":"Dc Publisher Institution","values":["De Montfort University"]},{"key":"dc:relation.isreferencedby","label":"Dc Relation Isreferencedby","values":["http://hdl.handle.net/2086/13291"]},{"key":"dc:type","label":"Dc Type","values":["Thesis or dissertation"]},{"key":"dc:type.qualificationlevel","label":"Dc Type Qualificationlevel","values":["Doctoral"]},{"key":"dc:type.qualificationname","label":"Dc Type Qualificationname","values":["PhD"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:rights","label":"Dc Rights","values":["https://dora.dmu.ac.uk/bitstreams/b985f7eb-0ae7-4cc6-8083-64550bd0c871/download"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://dora.dmu.ac.uk/bitstreams/fab27bc4-f291-491a-80c7-344d93012519/download"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:format.checksum.md5","label":"Dc Format Checksum Md5","values":["4d7bfee79ecfc7ec4149dc1eee930a8e","b600b58ff2e18995179bf5f8f583e2b1","f59d4b8f1591a735d513a97efbe653ef"]},{"key":"dc:title","label":"Title","values":["Compositional framework for the guided evolution of time-critical systems"]}]}],"canonical_facts":{"dc:creator":["Zhou, Shikun"],"dc:date.issued":["2002"],"dc:format.checksum.md5":["4d7bfee79ecfc7ec4149dc1eee930a8e","b600b58ff2e18995179bf5f8f583e2b1","f59d4b8f1591a735d513a97efbe653ef"],"dc:identifier.uri":["https://dora.dmu.ac.uk/bitstreams/fab27bc4-f291-491a-80c7-344d93012519/download"],"dc:publisher.institution":["De Montfort University"],"dc:relation.isreferencedby":["http://hdl.handle.net/2086/13291"],"dc:rights":["https://dora.dmu.ac.uk/bitstreams/b985f7eb-0ae7-4cc6-8083-64550bd0c871/download"],"dc:title":["Compositional framework for the guided evolution of time-critical systems"],"dc:type":["Thesis or dissertation"],"dc:type.qualificationlevel":["Doctoral"],"dc:type.qualificationname":["PhD"]},"updated_at":"2026-07-24T06:18:33Z"}