Back to Search Start Over

A review on security requirements specification by formal methods

Authors :
K. Mustafa
Aditya Dev Mishra
Source :
Concurrency and Computation: Practice and Experience. 34
Publication Year :
2021
Publisher :
Wiley, 2021.

Subjects

Subjects :
Computational Theory and Mathematics
Computer Networks and Communications
business.industry
Computer science
Formal specification
Software requirements specification
Software engineering
business
Formal methods
Formal verification
Software
Computer Science Applications
Theoretical Computer Science

Details

ISSN :
15320634 and 15320626
Volume :
34
Database :
OpenAIRE
Journal :
Concurrency and Computation: Practice and Experience
Accession number :
edsair.doi...........dee943c01d7c2f38ea8247e89c33d05b

Tools

Authors Abstract Subjects Details