| Zdroj: |
Couto, L D, Basagiannis, S, Ridouane, E H, Hasanagic, M & Larsen, P G 2018, Injecting Formal Verification in FMI-based Co-Simulations of Cyber-Physical Systems . in A Cerone & M Roveri (eds), Software Engineering and Formal Methods. International Conference on Software Engineering and Formal Methods : SEFM2017, Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers . vol. 10729, Springer, Lecture Notes in Computer Science, vol. 10729, pp. 284-299, 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Trento, Italy, 05/09/2017 . https://doi.org/10.1007/978-3-319-74781-1_20 |
