Henderson, P. and Walters, R. J. (1999) System Design Validation Using Formal Models. Proc. 10th Int. Workshop on Rapid System Prototyping (RSP). pp. 10-14 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 1999
Additional Information:
Address: Clearwater, Florida
Venue - Dates:
Proc. 10th Int. Workshop on Rapid System Prototyping (RSP), 1999-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 252662
URI: http://eprints.soton.ac.uk/id/eprint/252662
ISBN: ISBN 0-7695-0246-6
PURE UUID: afb57c63-fee9-4de4-b355-49bc80149ecf
Catalogue record
Date deposited: 10 Mar 2000
Last modified: 08 Jan 2022 05:41
Export record
Contributors
Author:
P. Henderson
Author:
R. J. Walters
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.