A Formal Specification of an Oscilloscope

Norman Delisle, and David Garlan

IEEE Software, Volume 7, Number 5, September 1990.

Online links: PDF Color PDF


For further information, please visit the home pages of the ABLE research project and Carnegie Mellon University's Composable Systems Group.

Last modified: 6/27/2003. For comments and problems, contact able-help@cs.cmu.edu.