Work

Research on the verification method of the Event-B model for the heterogeneous multi-core scheduling algorithm

Year: 2024

Type: conference-paper

Source: International Conference on Communication Technology and Information Technology (ICCTIT)

DOI: 10.1109/icctit64404.2024.10928546

Authors: Junjie Zuo, Yahui Han, Feng Xiao, Shujuan Huang

Institution: Xi'an Technological University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4408793008

FWCI:

Cites: 7

Cited by:

Related to: 10