Work

Persistent stores and hybrid systems

Year: 2002

Type: conference-paper

Source: IEEE Conference on Decision and Control (CDC)

DOI: 10.1109/cdc.1993.325607

Authors: R.L. Grossman, D. Valsamis, X. Qin

Institution: University of Illinois Chicago

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2153321276

FWCI: 0.492

Cites: 9

Cited by: 13

Related to: 10