Author:
Rakow Astrid,Kröger Janis
Publisher
Springer International Publishing
Reference29 articles.
1. ARAMiS II (2019). https://www.aramis2.org
2. 65B, T.S.: IEC 61131 Programmable controllers (2003)
3. 65B, T.S.: IEC 61499 Function Blocks (2012)
4. Babin, G., Ait-Ameur, Y., Pantel, M.: Correct instantiation of a system reconfiguration pattern: a proof and refinement-based approach. In: 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE), pp. 31–38 (2016). https://doi.org/10.1109/HASE.2016.47
5. Barnwell, D.: Your guid to the ins and outs of BMW software updates. https://www.bmw.com/en/innovation/bmw-software-update.html. Accessed 15 Mar 2021