Author:
Heitmeyer Constance L.,Shukla Sandeep,Archer Myla M.,Leonard Elizabeth I.
Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. ArduPilot.
http://www.diydrones.com/notes/ArduPilot
2. Berry, G., Gonthier, G.: The Esterel synchronous programming language: design, semantics, implementation. Sci. Comput. Program. 19(2), 87–152 (1992)
3. Bharadwaj, R., Heitmeyer, C.: Developing high assurance avionics systems with the SCR requirements method. In: Proceedings of 19th Digital Avionics System Conference, Philadelphia (2000)
4. Brooks, C.X., Lee, E.A., Tripakis, S.: Exploring models of computation with Ptolemy II. In: Proceedings of 8th International Conference on Hardware/Software Codesign and System Synthesis (CODES + ISSS 2010), Scottsdale, pp. 331–332 (2010)
5. Broy, M., et al.: Service-oriented modeling of CoCoME with Focus and AutoFocus. In: The Common Component Modeling Example (CoCoME). Lecture Notes in Computer Science, vol. 5153, pp. 177–206. Springer, Berlin/New York (2008)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献