Proceedings of the International Conference on Recent Cognizance in Wireless Communication & Image Processing || Data-Based Correlation Scheme
- 作者Afzalpulkar, Nitin; Srivastava, Vishnu; Singh, Ghanshyam; Bhatnagar, Deepak
- 文件大小216.65KB
- 发表时间2016
- DOI10.1007/978-81-322-2638-3_34
- 页码297-304
[Lecture Notes in Computer Science] Formal Techniques for Distributed Objects, Components, and Systems Volume 9688 || The Challenge of Typed Expressiveness in ConcurrencyAlbert, Elvira; Lanese, Ivan · 2016
[Lecture Notes in Computer Science] Formal Techniques for Distributed Objects, Components, and Systems Volume 9688 || Ransomware Steals Your Phone. Formal Methods Rescue ItAlbert, Elvira; Lanese, Ivan · 2016
[Lecture Notes in Computer Science] Formal Techniques for Distributed Objects, Components, and Systems Volume 9688 || A Configurable CEGAR Framework with Interpolation-Based RefinementsAlbert, Elvira; Lanese, Ivan · 2016
[Lecture Notes in Computer Science] Formal Techniques for Distributed Objects, Components, and Systems Volume 9688 || SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink ModelsAlbert, Elvira; Lanese, Ivan · 2016