Author:
Miyazawa Alvaro,Ribeiro Pedro,Li Wei,Cavalcanti Ana,Timmis Jon,Woodcock Jim
Funder
EPSRC
Royal Academy of Engineering
Publisher
Springer Science and Business Media LLC
Subject
Modelling and Simulation,Software
Reference101 articles.
1. Akhlaki, K.B., Tunon, M.I.C., Terriza, J.A.H., Morales, L.E.M.: A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models. Sci. Comput. Program. 65(1), 41–56 (2007)
2. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
3. Baar, T.: Verification support for a state-transition-DSL defined with Xtext. In: Mazzara, M., Voronkov, A. (eds.) Perspectives of System Informatics, pp. 50–60. Springer, Cham (2016).
https://doi.org/10.1007/978-3-319-41579-6_5
4. Barrett, C., Conway, C.L., Deters, M., Hadarean, L., Jovanović, D., King, T., Reynolds, A., Tinelli, C.: Cvc4. In: Gopalakrishnan, G., Qadeer, S. (eds.) Computer Aided Verification, pp. 171–177. Springer, Berlin (2011).
https://doi.org/10.1007/978-3-642-22110-1_14
5. Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: IEEE International Conference on Software Engineering and Formal Methods, pp. 3–12. IEEE Computer Society (2006)
Cited by
80 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献