Publisher
Springer Nature Singapore
Reference18 articles.
1. de Azevedo Oliveira, D., Frappier, M.: Modelling an automotive software system with TASTD. In: Glässer, U., Creissac Campos, J., Méry, D., Palanque, P. (eds.) Rigorous State-Based Methods (ABZ2023). LNCS, vol. 14010, pp. 124–141. Springer, Cham (2023). https://doi.org/10.1007/978-3-031-33163-3_10
2. de Azevedo Oliveira, D., Frappier, M.: TASTD: A real-time extension for ASTD. In: Glässer, U., Campos, J.C., Méry, D., Palanque, P.A. (eds.) Rigorous State-Based Methods (ABZ2023). LNCS, vol. 14010, pp. 142–159. Springer, Cham (2023). https://doi.org/10.1007/978-3-031-33163-3_11
3. Cartellier, Q.: https://gitlab.com/QCartellier/icfem2023-poastd/-/tree/main/ (2023)
4. El Jabri, C., Frappier, M., Ecarot, T., Tardif, P.M.: Development of monitoring systems for anomaly detection using ASTD specifications. In: Aït-Ameur, Y., Crăciun, F. (eds.) TASE. LNCS, vol. 13299, pp. 274–289. Springer (2022). https://doi.org/10.1007/978-3-031-10363-6_19
5. Fayolle, T.: Combinaison de méthodes formelles pour la spécification de systèmes industriels. Theses, Université Paris-Est; Université de Sherbrooke, Québec, Canada, June 2017