Publications

Analysing Storage Resources on Synchronous Datafiows Using Petri Net Verification Techniques

AuthID
P-005-41Z

Author(s)

Rocha, JI

Gomes, L

Dias, OP

Document Type

Proceedings Paper

Year published

2012

Published

in 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012) in IEEE Industrial Electronics Society, ISSN: 1553-572X

Pages: 4676-4681 (6)

Conference

38Th Annual Conference on Ieee-Industrial-Electronics-Society (Iecon ), Date: OCT 25-28, 2012, Location: Montreal, CANADA, Sponsors: IEEE, IEEE Ind Elect Soc (IES), Host: Univ Quebec, Ecole Technologie Superieure Montreal (ETS)

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/iecon.2012.6389492

Scopus: 2-s2.0-84872901281

Wos: WOS:000316962904099

Source Identifiers

ISSN: 1553-572X

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Analysing Storage Resources on Synchronous Datafiows Using Petri Net Verification Techniques

Useful Links

Get Help

Federated Authentication (Click on the image)

Analysing Storage Resources on Synchronous Datafiows Using Petri Net Verification Techniques

Useful Links

Get Help