Publications

Semi-Formal Method Design Using Synchronous Dataflows and Petri Nets

AuthID
P-00M-CQX

Author(s)

Rocha, JI

Dias, OP

Gomes, L

Document Type

Proceedings Paper

Year published

2016

Published

in IECON Proceedings (Industrial Electronics Conference)

Pages: 1043-1048

Conference

42Nd Conference of the Industrial Electronics Society, Iecon 2016, Date: 24 October 2016 through 27 October 2016, Sponsors: IEEE Industrial Electronics Society (IES);Institute of Electrical and Electronics Engineers (IEEE)

Indexing

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/iecon.2016.7793262

Scopus: 2-s2.0-85010030914

Export Publication Metadata

Marked List

Add to Marked List

Info

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

Semi-Formal Method Design Using Synchronous Dataflows and Petri Nets

Useful Links

Get Help

Federated Authentication (Click on the image)

Semi-Formal Method Design Using Synchronous Dataflows and Petri Nets

Useful Links

Get Help