External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Semi-formal method design using synchronous dataflows and Petri nets

Jose-Inacio Rocha, Octavio Pascoa Dias, Luis Gomes. Semi-formal method design using synchronous dataflows and Petri nets. In IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society, Florence, Italy, October 23-26, 2016. pages 1043-1048, IEEE, 2016. [doi]

Authors

Jose-Inacio Rocha

This author has not been identified. Look up 'Jose-Inacio Rocha' in Google

Octavio Pascoa Dias

This author has not been identified. Look up 'Octavio Pascoa Dias' in Google

Luis Gomes

This author has not been identified. Look up 'Luis Gomes' in Google
runs on