40 Years of Computing at Newcastle
Department Technical Report Series No. 568
ERTL: An Extension to RTL for Requirements Analysis for Hybrid Systems
R. de Lemos and J. Hall
University of Newcastle upon Tyne. 1997.
Abstract
To follow.
Department Technical Report Series - 1997
Department Technical Report Series Index
Contents Page - 40 Years of Computing at Newcastle
Technical Report Abstract No. 568, 30 June 1997