Login

	RSS 1.0
	RSS 2.0
	Atom

Embedded Systems Modelling and Validation based on Extended Petri Nets

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

Download

[img]

PDF
Download (61Kb)

Item Type:	Conference or Workshop Item (Other)
Additional Information:	Event Dates: 10 September 2001 Organisation: ACM Address: London, UK
Divisions:	Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems
Item ID:	256045
Date Deposited:	23 Apr 2002
Last Modified:	02 Mar 2012 04:35
Contributors:	Varea, Mauricio (Author) Al-Hashimi, Bashir (Author)
Date:	September 2001
Additional Information:	Event Dates: 10 September 2001 Organisation: ACM Address: London, UK
Status:	Published
Further Information:	Google Scholar
URI:	http://eprints.soton.ac.uk/id/eprint/256045

Actions (login required)

View Item

View Item

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