%0 Conference Paper %1 conf/icarsc/BarrosoG21 %A Barroso, Hugo Conde %A Gaspar, José António %B ICARSC %D 2021 %E Santos, Vítor %E Lau, Nuno %E Neto, Pedro %E Lopes, Ana Cristina %I IEEE %K dblp %P 143-148 %T Validation of Discrete Event Processes implemented on PLCs based on Petri Nets. %U http://dblp.uni-trier.de/db/conf/icarsc/icarsc2021.html#BarrosoG21 %@ 978-1-6654-3198-9

@inproceedings{conf/icarsc/BarrosoG21, added-at = {2024-05-07T00:00:00.000+0200}, author = {Barroso, Hugo Conde and Gaspar, José António}, biburl = {https://www.bibsonomy.org/bibtex/2f639b972971f37b7f9807be2ef397a73/dblp}, booktitle = {ICARSC}, crossref = {conf/icarsc/2021}, editor = {Santos, Vítor and Lau, Nuno and Neto, Pedro and Lopes, Ana Cristina}, ee = {https://doi.org/10.1109/ICARSC52212.2021.9429807}, interhash = {8ba9799acc42f8384a71b518ec28ef3d}, intrahash = {f639b972971f37b7f9807be2ef397a73}, isbn = {978-1-6654-3198-9}, keywords = {dblp}, pages = {143-148}, publisher = {IEEE}, timestamp = {2024-05-13T08:52:02.000+0200}, title = {Validation of Discrete Event Processes implemented on PLCs based on Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/icarsc/icarsc2021.html#BarrosoG21}, year = 2021 }