Compositional framework for the guided evolution of time-critical systems
By: Shikun Zhou.
Contributors: De Montfort University.
Publisher: De Montfort University
Published: 2002
Place of publication: Leicester
Language: eng
Notes: Thesis (Ph.D) - De Montfort University, Leicester 2002.