( en | de | ru )

 

Disambiguation of "Suárez, Víctor M. González"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Verification of Complex Properties on PLC Programs.

, , , , , and . FORTE, volume 8461 of Lecture Notes in Computer Science, page 284-299. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Victor Manuel Suárez González

Victor Suarez Rother

Vicente Cortés Suárez

Vicente Cortés-Suárez

Amarilis Suárez Quesada

 

Other publications of authors with the same name

Model-based automated testing of critical PLC programs., , , and . INDIN, page 722-727. IEEE, (2013)A Preliminary Study for Automatic Activity Labelling on an Elder People ADL Dataset., , , , , and . SOCO, volume 1268 of Advances in Intelligent Systems and Computing, page 13-21. Springer, (2020)A hybrid PSO optimized SVM-based method for predicting of the cyanotoxin content from experimental cyanobacteria concentrations in the Trasona reservoir: A case study in Northern Spain., , , , , and . Appl. Math. Comput., (2015)A new predictive model for the cyanotoxin content from experimental cyanobacteria concentrations in a reservoir based on the ABC optimized support vector machine approach: A case study in Northern Spain., , , , , and . Ecol. Informatics, (2015)Formal Verification of Complex Properties on PLC Programs., , , , , and . FORTE, volume 8461 of Lecture Notes in Computer Science, page 284-299. Springer, (2014)An Autonomous Fallers Monitoring Kit: Release 0.0., , , , , and . ISDA, volume 1181 of Advances in Intelligent Systems and Computing, page 287-297. Springer, (2019)A Simple Classification Ensemble for ADL and Falls., , , , and . HAIS, volume 12344 of Lecture Notes in Computer Science, page 95-106. Springer, (2020)