Author:
Brinksma Ed,Mader Angelika,Fehnker Ansgar
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Model checking programs in process-oriented IEC 61131-3 Structured Text;Modeling and Analysis of Information Systems;2024-03-28
2. Security of Programmable Logic Controllers and Related Systems: Today and Tomorrow;IEEE Open Journal of the Industrial Electronics Society;2023
3. Autotuning Parallel Programs by Model Checking;Automatic Control and Computer Sciences;2022-12
4. Model Checking Meets Auto-Tuning of High-Performance Programs;Logic-Based Program Synthesis and Transformation;2022
5. A case study of planning for smart factories;International Journal on Software Tools for Technology Transfer;2018-08-07