The University of Southampton
University of Southampton Institutional Repository

Embedded Systems Modelling and Validation based on Extended Petri Nets

Embedded Systems Modelling and Validation based on Extended Petri Nets
Embedded Systems Modelling and Validation based on Extended Petri Nets
Varea, Mauricio
7a752b8b-0f8b-47e0-b411-2ac53f228ba7
Al-Hashimi, Bashir
0b29c671-a6d2-459c-af68-c4614dce3b5d
Varea, Mauricio
7a752b8b-0f8b-47e0-b411-2ac53f228ba7
Al-Hashimi, Bashir
0b29c671-a6d2-459c-af68-c4614dce3b5d

Varea, Mauricio and Al-Hashimi, Bashir (2001) Embedded Systems Modelling and Validation based on Extended Petri Nets At 1st U.K. SIGDA Workshop on Design Automation, United Kingdom.

Record type: Conference or Workshop Item (Other)
PDF eda.pdf - Other
Download (63kB)

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, 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: 18 Jul 2017 09:49

Export record

Contributors

Author: Mauricio Varea

University divisions

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.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×