Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2001.08983
Cited By
A Formal Development Cycle for Security Engineering in Isabelle
4 January 2020
F. Kammüller
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"A Formal Development Cycle for Security Engineering in Isabelle"
2 / 2 papers shown
Dependability Engineering in Isabelle
F. Kammüller
80
2
0
08 Dec 2021
Exploring rationality of self awareness in social networking for logical modeling of unintentional insiders
F. Kammüller
Chelsea Mira Alvarado
58
3
0
30 Nov 2021
1
Page 1 of 1
