Author:
Nafz Florian,Seebach Hella,Steghöfer Jan-Philipp,Anders Gerrit,Reif Wolfgang
Reference15 articles.
1. Ackermann, J.: Formal description of OCL specification patterns for behavioral specification of software components. In: Workshop on Tool Support for OCL and Related Formalisms, Technical Report LGL-REPORT-2005-001, pp. 15–29, EPFL (2005)
2. Anders, G., Seebach, H., Nafz, F., Steghöfer, J.-P., Reif, W.: Decentralized reconfiguration for self-organizing resource-flow systems based on local knowledge. In: Proceedings of EASe 2011, Las Vegas, USA (2011, to appear)
3. LNCS;M. Balser,1999
4. Bäumler, S., Balser, M., Nafz, F., Reif, W., Schellhorn, G.: Interactive verification of concurrent systems using symbolic execution. AI Commun. 23(2–3), 285–307 (2010)
5. Blum, M., Kanna, S.: Designing programs that check their work. In: STOC ’89: Proceedings of the Twenty-First Annual ACM Symposium on Theory of Computing, pp. 86–97. ACM, New York (1989)
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献