( en | de | ru )

 

Disambiguation of "Viñuela, Enrique Blanco"

Author of the publication

copydeleteadd this publication to your clipboard
Conformance checking for programmable logic controller programs and specifications.

, , and . SIES, page 29-36. IEEE, (2016)

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.

Enrique Blanco Cruz

Myriam Blanco

Rolando Blanco

Ricardo Blanco Unzué

Julián Blanco Rodríguez

 

Other publications of authors with the same name

Formal Verification of Safety PLC Based Control Software., , and . IFM, volume 9681 of Lecture Notes in Computer Science, page 508-522. Springer, (2016)Model-based automated testing of critical PLC programs., , , and . INDIN, page 722-727. IEEE, (2013)Non-linear moving horizon state estimation and control for the superfluid helium cryogenic circuit at the large Hadron Collider., , , , and . CDC, page 3530-3535. IEEE, (2014)From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif., , , , , , , , , and . NFM, volume 13903 of Lecture Notes in Computer Science, page 353-360. Springer, (2023)PLC code generation based on a formal specification language., , and . INDIN, page 389-396. IEEE, (2016)Formal Verification of Complex Properties on PLC Programs., , , , , and . FORTE, volume 8461 of Lecture Notes in Computer Science, page 284-299. Springer, (2014)Simplification of numeric variables for PLC model checking., , , , and . MEMOCODE, page 10-20. ACM, (2021)Nonlinear Model Predictive Control for the Superfluid Helium Cryogenic Circuit of the Large Hadron Collider., , , , and . CCA, page 1654-1659. IEEE, (2010)Conformance checking for programmable logic controller programs and specifications., , and . SIES, page 29-36. IEEE, (2016)Verification of Neural Networks Meets PLC Code: An LHC Cooling Tower Control System at CERN., , , and . EANN, volume 1826 of Communications in Computer and Information Science, page 420-432. Springer, (2023)