scholarly journals A Fault-Tree Representation of NPATRL Security Requirements

Author(s):  
Iliano Cervesato ◽  
Catherine Meadows
2003 ◽  
Author(s):  
Richard Saucier

2018 ◽  
Vol 6 (6) ◽  
pp. 24-34
Author(s):  
Irina N. KOLOSOK ◽  
◽  
Elena S. KORKINA ◽  
Alexandr V. TIKHONOV ◽  
◽  
...  

2019 ◽  
Vol 7 (2) ◽  
pp. 273-280
Author(s):  
Byeong Ho Cho ◽  
Wonki Hyun ◽  
Woojune Yi ◽  
Sang Ahm Kim
Keyword(s):  

2014 ◽  
Vol 1 (1) ◽  
pp. 1-5
Author(s):  
Poonam Rawat ◽  
◽  
Neha Rawat ◽  
Shikha Singh ◽  
Awantika . ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document