Author:
Chehida Salim,Idani Akram,Cortes-Cornax Mario,Vega German
Publisher
Springer Nature Switzerland
Reference24 articles.
1. Abrial, J.R.: The B-book: assigning programs to meanings. Cambridge University Press (1996). https://doi.org/10.1017/CBO9780511624162
2. Boulanger, F., Hardebolle, C.: Simulation of multi-formalism models with Modhel’x. In: 2008 1st International Conference on Software Testing, Verification, and Validation, pp. 318–327 (05 2008). https://doi.org/10.1109/ICST.2008.15
3. Lecture Notes in Computer Science;M Butler,2005
4. Chehida, S., Baouya, A., Bozga, M., Bensalem, S.: Exploration of impactful countermeasures on IoT attacks. In: 9th Mediterranean Conference on Embedded Computing, MECO 2020, Budva, Montenegro, 8–11 June 2020, pp. 1–4. IEEE (2020). https://doi.org/10.1109/MECO49872.2020.9134200
5. Chehida, S., Idani, A., Cortes-Cornax, M., Vega, G.: GitHub artifacts. http://github.com/SalimChehida/Inter-DSL-Collaboration