Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference32 articles.
1. Asarin, E., Maler, O., Pnueli, A., Sifakis, J.: Controller synthesis for timed automata. IFAC Proc. Vols. 31(18), 447–452 (1998).
https://doi.org/10.1016/S1474-6670(17)42032-5
2. Basile, D., ter Beek, M., Di Giandomenico, F., Gnesi, S.: Orchestration of dynamic service product lines with featured modal contract automata. In: SPLC, pp. 117–122. ACM (2017).
https://doi.org/10.1145/3109729.3109741
3. Basile, D., ter Beek, M.H., Legay, A., Traonouez, L.: Orchestration synthesis for real-time service contracts. In: Verification and Evaluation of Computer and Communication Systems—12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings, pp. 31–47 (2018)
4. Basile, D., Beek, M.H.T., Gnesi, S.: Modelling and analysis with featured modal contract automata. In: Proceedings of the 22nd International Systems and Software Product Line Conference—Volume 2, SPLC’18, pp. 11–16. ACM, New York (2018)
5. Basile, D., Degano, P., Ferrari, G.: Automata for specifying and orchestrating service contracts. Log. Methods Comput. Sci. 12(4:6), 1–51 (2016).
https://doi.org/10.2168/LMCS-12(4:6)2016
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献