Author:
Bonakdarpour Borzoo,Fischmeister Sebastian
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Lecture Notes in Computer Science;B. Bonakdarpour,2011
2. Carré, B., Garnsworthy, J.: SPARK—an annotated Ada subset for safety-critical programming. In: Proceedings of the Conference on TRI-ADA, pp. 392–402. ACM, New York (1990)
3. Charette, R.N.: This Car Runs on Code. IEEE Spectrum (2009)
4. de Kock, H.: small-ffs (September 2009),
http://code.google.com/p/small-ffs
5. Dobbing, B., Burns, A.: The Ravenscar Tasking Profile for High Integrity Real-time Programs. In: Proceedings of the 1998 Annual ACM SIGAda International Conference on Ada (SIGAda), pp. 1–6. ACM, New York (1998)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献