Work

A Verifying Method of Controller Synthesis

Year: 2008

Type: conference-paper

DOI: 10.1109/csse.2008.812

Authors: Wei Li, Ying Lu, Yi-Chao Zhang, Jian-Guo Wu

Institution: Anhui 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: W2073238531

FWCI:

Cites: 5

Cited by:

Related to: 10