Sortiert nach
IEEE access, 2021, Vol.9, p.61383-61397
2021
Link zum Volltext
IEEE open journal of the Industrial Electronics Society, 2024, Vol.5, p.616-631
2024
Link zum Volltext
Automatic generation of repair suggestions for overall I&C architecture represented with an ontology
2023
- Link zum Volltext
IECON 2021 – 47th Annual Conference of the IEEE Industrial Electronics Society, 2021, p.1-6
2021
- Link zum Volltext
2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2017, p.1-4
2017
- Link zum Volltext
2018 IEEE 16th International Conference on Industrial Informatics (INDIN), 2018, p.719-724
2018
- Link zum Volltext
2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ), 2021, p.01-04
2021
Link zum Volltext
IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society, 2023, p.1-6
2023
- Link zum Volltext
IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society, 2023, p.1-7
2023
- Link zum Volltext
2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation, ETFA, 2023
2023
Link zum Volltext
2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE), 2023, p.1-5
2023
Link zum Volltext
2021 IEEE 30th International Symposium on Industrial Electronics (ISIE), 2021, p.1-6
2021
Link zum Volltext
2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE), 2023, p.1-6
2023
Link zum Volltext
2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS), 2020, p.01-10
2020
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Dependable Communication And Computation Systems
- Kommunikations- Och Beräkningssystem
- Model Checking
- Science & Technology
- Technology
- Visualization
- Computational Modeling
- Counterexample Explanation
- Engineering
- Engineering, Electrical & Electronic
- Iec 61499
- Iec Standards
- Industrial Electronics
- User-Friendly Model Checking
- Automation
- Computer Science
- Formal Verification
- Safety
- Safety-Critical Systems
- Automation & Control Systems
Kollektion
Zeitschrift / Serie
Neu hinzugefügt