Varea, Mauricio and Al-Hashimi, Bashir (2001) Embedded Systems Modelling and Validation based on Extended Petri Nets. 1st U.K. SIGDA Workshop on Design Automation, London, United Kingdom.
Record type:
Conference or Workshop Item
(Other)
More information
Published date: September 2001
Additional Information:
Event Dates: 10 September 2001 Organisation: ACM Address: London, UK
Venue - Dates:
1st U.K. SIGDA Workshop on Design Automation, London, United Kingdom, 2001-09-10
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 256045
URI: http://eprints.soton.ac.uk/id/eprint/256045
PURE UUID: 58f16175-508d-40be-9870-da5fd86b019e
Catalogue record
Date deposited: 23 Apr 2002
Last modified: 14 Mar 2024 05:37
Export record
Contributors
Author:
Mauricio Varea
Author:
Bashir Al-Hashimi
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.