Work

Verification of Automatons by Model Checking Method

Year: 2022

Type: article

Source: Mathematical Methods in Technologies and Technics

DOI: 10.52348/2712-8873_mmtt_2022_11_58

Authors: A.G. Yurtaev, M.F. Stepanov, D.Yu. Petrov, V.A. Fedorov

Institution: Yuri Gagarin State Technical University of Saratov

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4312942136

FWCI:

Cites:

Cited by:

Related to: 10