Title
Application of Formal Methods in the Scope of IT-Security
Year
DOI
Field
1996
10.1007/978-1-4471-0937-2_36
Data administration,Systems engineering,Computer science,Computer security,International airport,Hacker,Software system,Software verification and validation,Computer security model,Cost overrun,Software verification
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
frank koob100.34
markus ullmann200.34
stefan wittmann300.34