Towards More Trustworthy Online Examinations: Formal Modeling and Verification Using CPNs
Year: 2026
Type: article
DOI: 10.1002/smr.70088
Authors: Wenbo Zhou, Yiyuan Wang, Minghao Yin
Institutions: Northeast Normal University, Guangxi Normal University
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Award: G2000038538
OpenAlex ID: W7143034825