共 23 条
[1]
Formal models of bank cards for free
[J].
IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013),
2013,
:461-468
[2]
Inference and Abstraction of the Biometric Passport
[J].
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I,
2010, 6415
:673-686
[4]
Cassandras C. G., 2008, Introduction to discrete event systems, DOI DOI 10.1007/978-0-387-68612-7
[5]
Dai Jin, 2014, [Control Theory and Technology, 控制理论与技术], V12, P218
[6]
Dijkstra EW., 1959, Numerische Mathematik, V1, P269, DOI [10.1007/BF01386390, DOI 10.1007/BF01386390]
[7]
Droste M, 2009, MONOGR THEOR COMPUT, P1, DOI 10.1007/978-3-642-01492-5
[8]
Farooqui A., 2021, MIDES MODEL INFERENC