Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1404.1985
Cited By
Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems
8 April 2014
Ludovic Apvrille
Y. Roudier
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems"
1 / 1 papers shown
Title
Automatic Verification of Correspondences for Security Protocols
B. Blanchet
89
241
0
23 Feb 2008
1
