Author:
Mason Ian A.,Nigam Vivek,Talcott Carolyn,Brito Alisson
Publisher
Springer International Publishing
Reference36 articles.
1. Arduplane, arducopter, ardurover. https://github.com/ArduPilot/ardupilot
2. Ascens: Autonomic service-component ensembles. http://www.ascens-ist.eu
3. Bae, K., Ölveczky, P.C., Feng, T.H., Lee, E.A., Tripakis, S.: Verifying hierarchical ptolemy II discrete-event models using real-time maude. Sci. Comput. Program. 77(12), 1235–1271 (2012)
4. Barros, J., Brito, A., Oliveira, T., Nigam, V.: A framework for the analysis of UAV strategies using co-simulation. In: SBESC (2016)
5. Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. J. ACM 44(2), 201–236 (1997)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献