Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Information Systems
Reference18 articles.
1. Baier C, Katoen J-P (2008) Principles of model checking. MIT Press, Cambridge
2. Bundesministerium für Wirtschaft und Energie (BMWI) (2021) Details of the asset administration shell. Part 2 – Interoperability at runtime – exchanging information via application programming interfaces (version 1.0RC02)
3. Clarkson MR, Schneider FB (2010) Hyperproperties. J Comput Secur 18(6):1157–1210
4. DIN e.V., DKE (2020) Deutsche Normungsroadmap Industrie 4.0, Version 4
5. Epple U, Mertens M, Palm F, Azarmipour M (2017) Using properties as semantic base for Interoperability. IEEE Trans Ind Inform 13(6):3411–3419. https://doi.org/10.1109/TII.2017.2741339