Publisher
Springer International Publishing
Reference13 articles.
1. Al-Hammouri, A.T.: A comprehensive co-simulation platform for cyber-physical systems. Comput. Commun. 36(1), 8–19 (2012).
https://doi.org/10.1016/j.comcom.2012.01.003
2. Chen, D., Chang, G., Sun, D., Li, J., Jia, J., Wang, X.: TRM-IoT: a trust management model based on fuzzy reputation for internet of things. Comput. Sci. Inf. Syst. 8(4), 1207–1228 (2011)
3. Herrmann, P., Blech, J.O., Han, F., Schmidt, H.: A model-based toolchain to verify spatial behavior of cyber-physical systems. Int. J. Web Serv. Res. 13(1), 40–52 (2016)
4. Kong, S., Solar-Lezama, A., Gao, S.: Delta-decision procedures for exists-forall problems over the reals. CoRR abs/1807.08137 (2018).
arxiv:1807.08137
5. Li-Jun, S., et al.: Statistical model checking of cyber-physical systems control software. J. Softw. 26(2), 380–389 (2015)