Work

On Formal Description of Microcontroller and Program Interoperability: Deriving FSM Composition

Year: 2024

Type: conference-paper

Source: International Russian Automation Conference (RusAutoCon)

DOI: 10.1109/rusautocon61949.2024.10694367

Authors: Alexandr P. Sotnikov, Natalia V. Shabaldina, Maxim L. Gromov

Institution: National Research Tomsk State 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: W4403125559

FWCI:

Cites: 9

Cited by:

Related to: 10