Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Hardware and Architecture,Media Technology,Software
Reference110 articles.
1. Mousavi H, Ebnenasir A, Mahmoudzadeh E (2023) Formal specification, verification, and repair of Contiki’s scheduler. ACM Trans Cyber-Phys Syst. https://doi.org/10.1145/3605948
2. Dahl M, Larsen C, Eros E, Bengtsson K, Fabian M, Falkman P (2022) Interactive formal specification for efficient preparation of intelligent automation systems. CIRP J Manuf Sci Technol 38:129–138. https://doi.org/10.1016/j.cirpj.2022.04.013
3. Mishra AD, Mustafa K (2022) Formalization of security requirements-a case study on a web-based application. J Sci Res 66(2):108–114. https://doi.org/10.37398/JSR.2022.660214
4. Mishra AD, Mustafa K (2022) A review on security requirements specification by formal methods. Concurrency Comput: Pract Exp 34(5). https://doi.org/10.1002/cpe.6702
5. Mustafa N, Kamrudin, Sidek S, Junia A, Mani L, Faisal YA, Hadi W (2021) Security requirements template-based approach to improve the writing of complete security requirements. J TheorAppl Inf Technol 99(1):1–12