From requirements to specifications for hybrid systems
By: W.M.L. Holcombe and Z.H. Duan.
Contributors: Duan, Z. H.; University of Sheffield. Department of Computer Science.
Series: Memoranda in computer and cognitive science -- CS-96-01
Publisher: University of Sheffield, Dept. of Computer Science
Published: 1996
Place of publication: Sheffield
Language: eng