1.
Darvas, Dániel ; Blanco, Viñulea Enrique ; Majzik, István
New York, Amerikai Egyesült Államok : Institute of Electrical and Electronics Engineers (IEEE) (2016) 1,332 p. pp. 389-396. , 8 p.
Közlemény:3096124 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 8 | Független: 8 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 6 | Scopus jelölt: 4 | WoS/Scopus jelölt: 6 | DOI jelölt: 5
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[3096124] [Egyeztetett]
Nyilvános idéző összesen: 8, Független: 8, Függő: 0, Nem jelölt: 0
  1. Weigl Alexander et al. Generalized Test Tables: A Powerful and Intuitive Specification Language for Reactive Systems. (2017) IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS 1935-4576 99 875-882
  2. Cha Suhyun et al. Generation of Monitoring Functions in Production Automation Using Test Specifications. (2017) IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS 1935-4576 99 339-344
  3. Mohammad Heidari. Runtime verification of a PLC system: An industrial case study. (2017)
  4. Marcus Andersson. Discrete event simulation as a tool for virtual commissioning: Using a discrete event simulation model as a base for generation and verification of rudimentary PLC logic. (2018)
  5. Gaglio Salvatore et al. Knowledge-Based Verification of Concatenative Programming Patterns Inspired by Natural Language for Resource-Constrained Embedded Devices. (2021) SENSORS 1424-8220 21 1
  6. An Yameng et al. OntoPLC: Semantic Model of PLC Programs for Code Exchange and Software Reuse. (2021) IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS 1551-3203 1941-0050 17 3 1702-1711
  7. Pilarski Sebastian et al. Predictions-on-chip: model-based training and automated deployment of machine learning models at runtime: For multi-disciplinary design and operation of gas turbines. (2021) SOFTWARE AND SYSTEMS MODELING 1619-1366 1619-1374 20 3 685-709
  8. Zyubin Vladimir E. et al. poST: A Process-Oriented Extension of the IEC 61131-3 Structured Text Language. (2022) IEEE ACCESS 2169-3536 2169-3536 10 35238-35250
2025-02-17 19:11