Publications

This location: /pt/institutions/view/maito:dinamia@iscte.ptnão existe!
Check if the URL is correct!

This location: /en/institutions/view/maito:aaf@fe.up.pt does not exist!
Check if the URL is correct!

Validation of Discrete Event Processes Implemented on Plcs Based on Petri Nets

AuthID
P-00V-1WJ

Author(s)

Barroso, HC

Gaspar, JA

Editor(s)

Santos,V;Lau,N;Neto,P;Lopes,AC

Document Type

Proceedings Paper

Year published

2021

Published

in 2021 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC) in IEEE International Conference on Autonomous Robot Systems and Competitions ICARSC, ISSN: 2573-9360

Pages: 143-148 (6)

Conference

Ieee International Conference on Autonomous Robot Systems and Competitions (Icarsc), Date: APR 28-29, 2021, Location: ELECTR NETWORK, Sponsors: IEEE, IEEE Robot & Automat Soc, Univ Aveiro, Univ Coimbra, IPT, Soc Portuguesa Robotica, IEEE Portugal Sect, IEEE Portugal Sect RA Chapter

Indexing