Author:
Palmieri Maurizio,Macedo Hugo Daniel
Publisher
Springer International Publishing
Reference7 articles.
1. Blochwitz, T., et al.: Functional mockup interface 2.0: the standard for tool independent exchange of simulation models. In: Proceedings of the 9th International Modelica Conference, pp. 173–184. The Modelica Association (2012)
2. Larsen, P.G., et al.: The INtegrated TOolchain for Cyber-Physical Systems (INTO-CPS): a Guide. Technical report, INTO-CPS Association, October 2018.
www.into-cps.org
3. Masci, P., Oladimeji, P., Mallozzi, P., Curzon, P., Thimbleby, H.: PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems. In: Proceedings of the 5th EAI International Conference on Wireless Mobile Communication and Healthcare, pp. 42–45. ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering) (2015)
4. Mauro, G., Thimbleby, H., Domenici, A., Bernardeschi, C.: Extending a user interface prototyping tool with automatic MISRA C code generation. In: Proceedings of the Third Workshop on Formal Integrated Development Environment (2016)
5. Owre, S., Shankar, N., Rushby, J.M., Stringer-Calvert, D.W.: PVS Language Reference. Computer Science Laboratory, SRI International, Menlo Park, vol. 1, no. 2, p. 21 (1999)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献