Author:
Fahrenberg Uli,Legay Axel
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference50 articles.
1. Aliprantis, C.D., Border, K.C.: Infinite Dimensional Analysis: A Hitchhiker’s Guide. Springer, Berlin (2007)
2. Alur, R., Dill, D.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
3. Bauer, S.S., David, A., Hennicker, R., Larsen, K.G., Legay, A., Nyman, U., Wąsowski, A.: Moving from specifications to contracts in component-based design. In: de Lara, J., Zisman, A. (eds.) FASE, volume 7212 of Lecture Notes in Computer Science, pp. 43–58. Springer, Berlin (2012)
4. Bauer, S.S., Fahrenberg, U., Juhl, L., Larsen, K.G., Legay, A., Thrane, C.: Quantitative refinement for weighted modal transition systems. In: Murlak, F., Sankowski, P. (eds.) MFCS, volume 6907 of Lecture Notes in Computer Science, pp. 60–71. Springer, Berlin (2011)
5. Bauer, S.S., Fahrenberg, U., Juhl, L., Larsen, K.G., Legay, A., Thrane, Claus: Weighted modal transition systems. Form. Methods Syst. Des. 42(2), 193–220 (2013)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Sequential Relational Decomposition;Logical Methods in Computer Science;2022-03-03
2. Computing branching distances with quantitative games;Theoretical Computer Science;2020-12
3. A linear-time–branching-time spectrum for behavioral specification theories;Journal of Logical and Algebraic Methods in Programming;2020-01
4. Behavioral Specification Theories: An Algebraic Taxonomy;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020
5. Compositionality for quantitative specifications;Soft Computing;2017-02-24