PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Viñuela, Enrique Blanco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Bringing Automated Model Checking to PLC Program Development - a CERN Case Study.

, , , , und . WODES, Seite 394-399. International Federation of Automatic Control, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dr. -Ing. Angela Blanco-Vogt University of Stuttgart

Dr. -Ing. Nelson Enrique Bances Purizaca University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Model-based automated testing of critical PLC programs., , , und . INDIN, Seite 722-727. IEEE, (2013)Non-linear moving horizon state estimation and control for the superfluid helium cryogenic circuit at the large Hadron Collider., , , , und . CDC, Seite 3530-3535. IEEE, (2014)Formal Verification of Safety PLC Based Control Software., , und . IFM, Volume 9681 von Lecture Notes in Computer Science, Seite 508-522. Springer, (2016)PLC code generation based on a formal specification language., , und . INDIN, Seite 389-396. IEEE, (2016)Formal Verification of Complex Properties on PLC Programs., , , , , und . FORTE, Volume 8461 von Lecture Notes in Computer Science, Seite 284-299. Springer, (2014)Bringing Automated Model Checking to PLC Program Development - a CERN Case Study., , , , und . WODES, Seite 394-399. International Federation of Automatic Control, (2014)Nonlinear Model Predictive Control for the Superfluid Helium Cryogenic Circuit of the Large Hadron Collider., , , , und . CCA, Seite 1654-1659. IEEE, (2010)Conformance checking for programmable logic controller programs and specifications., , und . SIES, Seite 29-36. IEEE, (2016)Applying Model Checking to Industrial-Sized PLC Programs., , , , , , und . IEEE Trans. Industrial Informatics, 11 (6): 1400-1410 (2015)