Publisher
Springer International Publishing
Reference29 articles.
1. TASTE. https://taste.tools/. Accessed 26 Jan 2022
2. Blommestijn, R., Fuchs, J.: Specification and description language (SDL), July 1999. z.100
3. Blommestijn, R., Fuchs, J.: Technical Dossier on System Modelling and Simulation Tools, July 2012. iss 2, rev 2A
4. Bluff, R.: Avionic system modelling. In: International Conference on Simulation 1998 (Conf. Publ. No. 457), pp. 11–18, September 1998. https://doi.org/10.1049/cp:19980610
5. Bollig, B., Fortin, M., Gastin, P.: Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic. J. Comput. Syst. Sci. 115, 22–53 (2021). https://doi.org/10.1016/j.jcss.2020.06.006