Formalization of Methods in Criminalistics
Scientific works on formalization of methods in criminalistics have been analyzed in the article. Despite the importance and relevance of these issues, it has been established that there is a number of unresolved issues in the theory of forensic science, as well as in investigative and judicial prac...
Saved in:
Main Author: | L. P. Grynko |
---|---|
Format: | Article |
Language: | English |
Published: |
Kharkiv National University of Internal Affairs
2019-12-01
|
Series: | Law and Safety |
Subjects: | |
Online Access: | http://pb.univd.edu.ua/index.php/PB/article/view/295 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Functionally-Equivalent Formalization and Automated Model Checking of Function Block Diagrams
by: Tomas Ausberger, et al.
Published: (2025-01-01) -
State-of-the-art survey of smart contract verification based on formal methods
by: Wenbo ZHANG, et al.
Published: (2022-08-01) -
Research on formal security policy model specification and its formal analysis
by: LI Li-ping1, et al.
Published: (2006-01-01) -
Research on formal description and verification of automated trust negotiation
by: GUAN Shang-yuan 1, et al.
Published: (2011-01-01) -
Improvement and formal proof on protocol Otway-Rees
by: Lai-feng LU, et al.
Published: (2012-09-01)