Multi-level formal verification
- 期刊名称Journal of Cryptographic Engineering
- 作者Sauvage, Laurent; Graba, Tarik; Porteboeuf, Thibault
- 卷第7卷
- 期第1期
- 印刷ISSN2190-8508
- 电子ISSN2190-8516
- 文件大小2559.04KB
- 发表时间2017-4
- DOI10.1007/s13389-016-0144-3
- 页码87-95
同期刊推荐
Perioperative coagulopathy monitoringJakoi, A.; Kumar, N.; Vaccaro, A.; Radcliff, K. · MUSCULOSKELETAL SURGERY · 2014
An overview about elbow instabilityRoberto Rotini · MUSCULOSKELETAL SURGERY · 2014
Chondropenia: current concept reviewSpeziali, A.; Delcogliano, M.; Tei, M.; Placella, G.; Chillemi, M.; Tiribuzi, R.; Cerulli, G. · MUSCULOSKELETAL SURGERY · 2015
Acknowledgement to reviewersMUSCULOSKELETAL SURGERY · 2016
Acknowledgement to reviewersMUSCULOSKELETAL SURGERY · 2017
Board of the SocietyMUSCULOSKELETAL SURGERY · 2016
Acknowledgement to reviewers 2017MUSCULOSKELETAL SURGERY · 2018
Elbow rehabilitation in traumatic pathologyI. Fusaro,S. Orsini,S. Stignani Kantar,T. Sforza… · MUSCULOSKELETAL SURGERY · 2014