المؤلفون: Wenbo Zhou, Yujiao Zhao, Ye Zhang, Liwen Mu, Yiyuan Wang, Minghao Yin

المصدر: PeerJ Computer Science, Vol 10, p e2377 (2024)

مصطلحات موضوعية: Electronic examination, Timed automata, Formal verification, System design, Trustworthy digital education, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://peerj.com/articles/cs-2377.pdf; https://peerj.com/articles/cs-2377/; https://doaj.org/toc/2376-5992

URL الوصول: https://doaj.org/article/712619d8d9694fb78e5b81ac4d9512c5