Old Web
English
Sign In
Acemap
>
Paper
>
Security requirements verification for existing systems with model checking technique and UML
Security requirements verification for existing systems with model checking technique and UML
2017
Saeko Matsuura
Shinpei Ogata
Yoshitaka Aoki
Keywords:
Systems engineering
Applications of UML
Verification
Computer science
Unified Modeling Language
Reverse engineering
Model checking
UML tool
Programming language
requirements verification
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]