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
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
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
Mohammad Heidari. Runtime verification of a PLC system: An industrial case study.
(2017)
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)
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
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
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
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