Compositional framework for the guided evolution of time-critical systems
| dc.contributor.author | Zhou, Shikun | |
| dc.date.accessioned | 2017-02-15T11:08:00Z | |
| dc.date.available | 2017-02-15T11:08:00Z | |
| dc.date.issued | 2002 | |
| dc.identifier.uri | http://hdl.handle.net/2086/13291 | |
| dc.language.iso | en | en |
| dc.publisher | De Montfort University | en |
| dc.subject.ddc | 003 005 621.3822 003.54 | en |
| dc.subject.lcsh | Computer software Signal processing Information theory Applied mathematics | en |
| dc.title | Compositional framework for the guided evolution of time-critical systems | en |
| dc.type | Thesis or dissertation | en |
| dc.type.qualificationlevel | Doctoral | en |
| dc.type.qualificationname | PhD | en |