next up previous
Up: Validation and Verification of Previous: 3 Biography

About this document ...

Validation and Verification of Timing Properties of an Architecturally Described System.

This document was generated using the LaTeX2HTML translator Version 97.1 (release) (July 13th, 1997)

Copyright © 1993, 1994, 1995, 1996, 1997, Nikos Drakos, Computer Based Learning Unit, University of Leeds.

The command line arguments were:
latex2html -split +2 -show_section_numbers -local_icons -dir ../Html -up_url index.html -up_title FoCBS -auto_prefix -address Laurent Thomas
Sept. 2, 1997 thomas
.

The translation was initiated by Gary T. Leavens on 9/3/1997


Laurent Thomas
Sept. 2, 1997