Publisher
Springer International Publishing
Reference16 articles.
1. Blochwitz, T., Otter, M., et al.: Functional mockup interface 2.0: the standard for tool independent exchange of simulation models. In: International MODELICA Conference, no. 76, pp. 173–184. Linköping University Electronic Press (2012).
https://doi.org/10.3384/ecp12076173
2. Campos, J.C., Harrison, M.D.: Interaction engineering using the IVY tool. In: SIGCHI Symposium on Engineering Interactive Computing Systems, pp. 35–44. ACM (2009).
https://doi.org/10.1145/1570433.1570442
3. Chamberlain, J.P., Consiglio, M.C., Muñoz, C.: DANTi: detect and avoid in the cockpit. In: AIAA Aviation Technology, Integration, and Operations Conference, p. 4491 (2017).
https://doi.org/10.2514/6.2017-4491
4. Feo-Arenis, S., Verhoef, M., Larsen, P.G.: The Mars-Rover case study modelled using INTO-CPS. In: 15th Overture Workshop, pp. 130–144. Technical Report CS-TR-1513 (2017).
http://pure.au.dk/portal/files/118986058/feo_arenis.pdf
5. Harrison, M.D., et al.: Formal techniques in the safety analysis of software components of a new dialysis machine. Sci. Comput. Program. 175, 17–34 (2019).
https://doi.org/10.1016/j.scico.2019.02.003