Subject
Hardware and Architecture,Information Systems,Software
Reference29 articles.
1. Diversity of safety arguments in the validation of a sounding rocket destruction system;Abdala,2001
2. Allen, R., Garlan, D., 1994. Formal connectors. Technical Report CMU-CS-94-115, Carnegie Mellon University
3. Automata for modelling real-time systems;Alur;Theoretical Computer Science,1994
4. Aksit, M., et al., 1993. Abstracting object-interactions using composition-filters. In: Guerraoui, R., Nierstrasz, O. Riveill, M. (Eds.), Proceedings of the Workshop on Object-Based Distributed Programming at the European Conference on Object-Oriented Programming (ECOOP ’93), Lecture Notes in Computer Science, vol. 791. Springer-Verlag, Berlin, pp. 152–184
5. Balzer, R., 1999. Instrumenting, Monitoring, and Debugging Software Architectures. Available from http://www.isi.edu/divisions/index.html
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献