Author:
Schroeder Andreas,Bauer Sebastian S.,Wirsing Martin
Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference33 articles.
1. Composing specifications;Abadi;ACM Trans. Program. Lang. Syst.,1993
2. Hierarchical temporal specifications of dynamically reconfigurable component based systems;Aguirre;Electron. Notes Theor. Comput. Sci.,2004
3. Robert Allen, Rémi Douence, David Garlan, Specifying and analyzing dynamic software architectures, in: FASE, 1998, pp. 21–37.
4. A theory of timed automata;Alur;Theor. Comput. Sci.,1994
5. The benefits of relaxing punctuality;Alur;J. ACM,1996
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Self-adaptive automata;Proceedings of the 6th Conference on Formal Methods in Software Engineering;2018-06-02
2. Compositional verification of self-adaptive cyber-physical systems;Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems;2018-05-28
3. An Analysis and Design of a Virtual Collaboration Information System of the Jamu Supply Chain Network Based on a Fair Adaptive Contract;Proceedings of MICoMS 2017;2018-05-04
4. Ode to the PST;Software, Services, and Systems;2015
5. A Homage to Martin Wirsing;Software, Services, and Systems;2015